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

propositional calculus
.טכנול	обчислювання висловлювань; обчислення висловлювань; рахунок тверджень висловів; рахунок речень висловів