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

propositional calculus
.טכנול	προτασιακή λογική; προτασιακός λογισμός