II. Phán đốn thuộc tính đơn
2.Quy luật và mâu thuẫn logic
Trên kia đã nĩi rằng trong logic hai giá trị thì một phán đốn hoặc là đúng, hoặc là sai. Nếu phán đốn phù hợp với thực tiễn thì nĩ đúng, nếu nĩ khơng phù hợp với thực tiễn thì nĩ sai. Nĩi chung, để xác định xem một phán đốn cĩ đúng hay khơng ta phải đối chiếu với thực tiễn. Thế nhưng cĩ một số trường hợp khơng cần đối chiếu trực tiếp với hiện thực khách quan ta cũng cĩ thể biết được phán đốn là đúng hay sai. Ví dụ, ở một thời điểm nhất định thì phán đốn trời mưa hoặc khơng mưa là phán đốn đúng. Ta biết điều đĩ mà khơng cần phải xét xem trời mưa hay khơng mưa ở thời điểm đĩ. Nguyên nhân ởđây là phán đốn đã nêu đúng trong cả hai trường hợp trời mưa và trời khơng mưa ở thời điểm đĩ. Mà ngồi hai trường hợp đĩ ra thì khơng cịn trường hợp nào. Như vậy phán đốn này đúng trong mọi trường hợp. Những phán đốn đúng trong mọi trường hợp như vậy ta gọi là
phán đốn hằng đúng, hay quy luật logic. Trái lại, ở thời điểm bất kỳ, phán đốn
trời mưa và khơng mưa sai. Nĩ sai trong trường hợp trên thực tế trời đang mưa, và sai cả trong trường hợp trên thực tế trời khơng mưa. Mà ngồi hai trường hợp đĩ ra thì khơng cịn trường hợp nào khác. Nghĩa là phán đốn này sai trong mọi trường hợp. Những phán đốn sai trong mọi trường hợp như vậy gọi là phán đốn hằng sai, hay mâu thuẫn logic.
Các khái niệm quy luật và mâu thuẫn logic vừa nêu cĩ ý nghĩa rất quan trọng. Một suy luận đúng và chỉđúng khi cơng thức biểu thị nĩ là quy luật logic, và nĩ khơng thể nào đúng được khi cơng thức biểu thị nĩ là một mâu thuẫn logic.