Lesson 01 — Mệnh đề & giá trị chân lý
Logic hình thức bắt đầu từ câu hỏi: câu này có phải mệnh đề không — và nếu có, nó đúng hay sai? Ba bài tập tương tác dưới đây giúp bạn luyện trực giác cho vấn đề nền tảng này.
1. Máy phân loại mệnh đề
Với mỗi câu, hãy bấm Mệnh đề hoặc Không phải. Nếu chọn "Mệnh đề", tiếp tục chọn giá trị chân lý T (Đúng) hoặc F (Sai).
2. Bảng biến mệnh đề p, q, r
Bảng dưới đây minh họa cách gán ký hiệu biến cho mệnh đề và giá trị chân lý của chúng. Bấm vào ô giá trị để lật sang T ↔ F và quan sát.
| Biến | Mệnh đề | Giá trị | Ghi chú |
|---|
Bấm ô "Giá trị" để đổi T ↔ F — đây là thao tác gán giá trị chân lý cho biến, giống như bảng chân lý ở Lesson 02.
3. Bộ kiểm tra 3 bước
Nhập một câu bất kỳ để kiểm tra từng tiêu chí. Gợi ý thử: "x + 1 = 5", "Trời đang mưa", "Ai đó thông minh?", "Câu này sai".
Thử nhanh: