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