Англійська ⇄ Англійська Китайська Німецька Російська +

proposition logic
шт.інтел.	命题逻辑
Англійський тезаурус
proposition logic
абрев.	assertion-level logic (ssn); propositional logic (ssn)