propositional calculus

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

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

Джерело: Англо-український словник технічних термінів на Slovnyk.me