Logic Toán

1.1.PHÁN ĐOÁN
Một suy nghĩ muốn khẳng định hoặc phủ định một điều gì đó có tính chất hoặc là đúng, hoặc là sai mà không thể vừa đúng lại vừa sai được gọi là một phán đoán .
1.2.MỆNH ĐỂ
Diễn đạt phán đoán bằng một câu ngữ pháp ta có một mệnh đề toán học . Nói cách khác, mệnh để toán học là một câu có tính chất hoặc là đúng, hoặc là sai mà không thể vừa đúng lại vừa sai .
Như vậy có thể xem mệnh đề toán học là một đại lượng nhận một trong hai giá trị, hoặc là đúng, hoặc là sai .
• Một mệnh đề đúng có giá trị chân lí là 1.
• Một mệnh đề sai có giá trị chân lí là 0 .