propositional calculus

Рахунок тверджень (речень) висловів

обчислювання (обчислення) висловлювань (див. calculus)