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