Logic mệnh đề là gì?

Công cụ toán học logic, trong đó có các mệnh đề và các biểu thức.

Tập các ký hiệu và tập các luật xây dựng công thức

Xác định ngữ nghĩa của các công thức trong thế giới hiện thực.

Biểu diễn tri thức về thế giới với các đối tượng.