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