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

propositional logic
.טכנול	satslogik; satskalkyl
אנגלית אוצר מילים
propositional logic
.נוֹטָ	assertion-level logic (ssn); proposition logic (ssn)