Lesson 02 — Liên từ & bảng chân lý
Chân lý của mệnh đề phức phụ thuộc hoàn toàn vào chân lý các thành phần. Bài này cho bạn thử nghiệm trực tiếp: nhập công thức bất kỳ, máy sinh bảng chân lý đầy đủ ngay lập tức.
1. Năm liên từ cơ bản — click để xem bảng
Click vào mỗi liên từ để hiển thị bảng chân lý và quy tắc vắn tắt. Bảng dưới đây tự cập nhật.
2. Máy dựng bảng chân lý — nhập công thức của bạn
Biến hỗ trợ: p q r s (dùng bất kỳ tổ hợp nào). Toán tử: ¬ ~ ! (NOT) · ∧ & ^ (AND) · ∨ | (OR) · → -> (THEN) · ↔ <-> (IFF) · ( ) (ngoặc).
3. Ví dụ dựng sẵn — bấm để nạp vào máy
Sau khi nạp ví dụ, bấm "Dựng bảng" hoặc đợi tự động. Quan sát cột cuối để nhận biết tautology / contradiction / contingency.
4. Thứ tự ưu tiên toán tử
| Ưu tiên | Toán tử | Tên | Ví dụ đọc |
|---|---|---|---|
| 1 (cao nhất) | ¬ | Phủ định (NOT) | ¬p ∧ q = (¬p) ∧ q |
| 2 | ∧ | Hội (AND) | p ∧ q ∨ r = (p ∧ q) ∨ r |
| 3 | ∨ | Tuyển (OR) | p ∨ q → r = (p ∨ q) → r |
| 4 | → | Kéo theo (IF-THEN) | p → q ↔ r = (p → q) ↔ r |
| 5 (thấp nhất) | ↔ | Tương đương (IFF) | p ↔ q ↔ r = trái sang phải |
Khi không chắc — luôn dùng ngoặc (). Ngoặc có ưu tiên cao nhất.