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

propositional calculus
.טכנול	satskalkyl; satslogik