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

propositional calculus
.טכנול	cálculo de proposiciones; cálculo proposicional; lógica de proposiciones; lógica proposicional