Atomic proposition là gì?

Một mệnh đề nguyên tử (atomic proposition) là một mệnh đề (proposition) không thể chia nhỏ hơn nữa. Đó là mệnh đề đơn giản nhất.

Ví dụ dưới đây là một số mệnh đề nguyên tử (atomic proposition):

• JavaScript được tạo ra bởi Brendan Eich.
• CSS là viết tắt của Cascading Style Sheets.
• C++ thật dễ dàng.

Các mệnh đề nguyên tử (atomic proposition) còn được gọi là các mệnh đề nguyên thủy (primitive proposition), là các thành phần cơ bản (building block) của logic mệnh đề (propositional logic). Các mệnh đề mới có thể được tạo ra bằng cách kết hợp các mệnh đề nguyên tử (atomic proposition)với các phép nối (connective). Những mệnh đề mới này được chính thức gọi là mệnh đề phức hợp (compound proposition).