Việt
phép tính phán đoán
phép tính câu
phép tính mệnh đề
Anh
sentential calculus
propositional calculus
sentential calculus /toán & tin/
propositional calculus, sentential calculus /toán & tin/