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