Angielski ⇄ Angielski Chiński Niemiecki Rosyjski +

proposition logic
sztuczn.	命题逻辑
Angielski tezaurus
proposition logic
skr.	assertion-level logic (ssn); propositional logic (ssn)