phép tính mệnh đề

Lĩnh vực: toán & tin
 propositional calculus
 sentential calculus