MỆNH ĐỀ NGUYÊN TỬ ATOMIC PROPOSITION
LOGIC HỌC. Một mệnh đề khẳng định rằng một vật nào đó có một tính chất nhất định, hoặc rằng những vật nào đó có một mối quan hệ nhất định, chẳng hạn như "Cái này màu trắng," hoặc "Cái này nằm giữa a và b." Mệnh đề nguyên tử có thể là khẳng định ("Cái này màu trắng") hoặc phủ định ("Cái này không màu trắng"). Chúng biểu đạt các sự kiện nguyên tử và có tính đúng sai được xác định bởi các sự kiện nguyên tử. Bản thân một mệnh đề nguyên tử không thể được phân tích thêm thành các mệnh đề thành phần khác, nhưng sự kết hợp của hai hoặc nhiều mệnh đề nguyên tử thông qua các liên từ logic tạo thành một mệnh đề phân tử.
-----------------------------------------
"Chúng ta có thể định nghĩa một mệnh đề nguyên tử là mệnh đề mà không có bộ phận nào của nó là một mệnh đề, trong khi một mệnh đề phân tử là mệnh đề mà ít nhất một bộ phận của nó là một mệnh đề." Russell, Tuyển tập các bài viết, tập VII
-----------------------------------------
|
Ý KIẾN BẠN ĐỌC