צרפתית ⇄ איטלקית אנגלית גרמנית דנית הולנדית יוונית ספרדית פורטוגלית פינית שוודית +

inférence valide
.טכנול	deduction; formal inference; legal inference