命题演算

[计] propositional calculus, statement calculus

mìng tí yǎn suàn ㄇㄧㄥˋ ㄊㄧˊ ㄧㄢˇ ㄙㄨㄢˋ