Nếu / Thì — Bài kiểm tra logic có điều kiện

Cách Chơi Nếu / Thì

1. 1

   Học Bảng Chân Trị

   Bảng chân trị trong sảnh là nền tảng của mọi thứ. P→Q là SAI trong đúng MỘT trường hợp: khi P là ĐÚNG và Q là SAI. Trong tất cả các trường hợp khác — bao gồm cả khi P là SAI — mệnh đề có điều kiện là ĐÚNG. 'Chân trị rỗng' này (một tiền đề sai làm cho mệnh đề có điều kiện đúng) là khái niệm khó hiểu nhất đối với người mới bắt đầu.

2. 2

   Nhận diện Các Quy Tắc Suy Luận

   Modus Ponens (P→Q, P, ∴Q) và Modus Tollens (P→Q, ¬Q, ∴¬P) là hợp lệ. Phủ định tiền đề (P→Q, ¬P, ∴¬Q) và Khẳng định hệ quả (P→Q, Q, ∴P) là các lỗi logic KHÔNG HỢP LỆ. Cấp độ Nền tảng kiểm tra cả bốn.

3. 3

   Làm Chủ Các Dạng Tương Đương

   Cấp độ Trung cấp kiểm tra bốn dạng liên quan: MỆNH ĐỀ ĐẢO (¬Q→¬P, tương đương với gốc), MỆNH ĐỀ THUẬN (Q→P, KHÔNG tương đương), MỆNH ĐỀ NGHỊCH (¬P→¬Q, KHÔNG tương đương), và MỆNH ĐỀ SONG ĐIỀU KIỆN (P↔Q, chỉ đúng khi P và Q khớp nhau). Ngoài ra: P→Q ≡ ¬P∨Q là tương đương hội.

4. 4

   Xử Lý Các Trường Hợp Nâng Cao

   Các câu hỏi Nâng cao khám phá: tam đoạn luận giả định nối chuỗi (A→B→C→D cho A→D); chúng ta có thể xác định gì nếu biết P→Q là SAI (P=Đ, Q=S); các hằng đúng như (P→Q)∨(Q→P); và phủ định ¬(P→Q) = P∧¬Q. Chúng bao gồm nội dung từ các khóa học toán rời rạc và logic hình thức.

Tính năng chính

• 45 Bài Toán Trải Dài 3 Cấp Độ

  Nền tảng (15): Bảng chân trị đầy đủ cho P→Q với tất cả bốn hàng; xác định trường hợp sai duy nhất (P=Đ, Q=S); Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); tại sao Phủ định tiền đề và Khẳng định hệ quả là không hợp lệ; và chân trị rỗng (tiền đề sai = luôn đúng). Trung cấp (15): Mệnh đề đảo (¬Q→¬P), mệnh đề thuận (Q→P), và mệnh đề nghịch (¬P→¬Q); cặp nào tương đương logic; mệnh đề song điều kiện (P↔Q); tương đương hội (P→Q ≡ ¬P∨Q); phủ định của mệnh đề có điều kiện; và tam đoạn luận giả định. Nâng cao (15): Mệnh đề nối chuỗi; hằng đúng; biết P→Q sai buộc P=Đ và Q=S; kết hợp các mệnh đề có điều kiện để chứng minh mệnh đề song điều kiện; xác định Q từ cả P→Q và ¬P→Q; và ý nghĩa logic của P→P.

• Sảnh Bảng Chân Trị Tương Tác

  Sảnh hiển thị bảng chân trị hoàn chỉnh cho P→Q với các giá trị chân trị được mã hóa màu — các chip màu xanh lá cây cho ĐÚNG, màu đỏ cho SAI — và làm nổi bật hàng duy nhất tạo ra KẾT QUẢ SAI. Điều này đóng vai trò là tài liệu tham khảo liên tục và dạy cơ chế cốt lõi trước khi bài kiểm tra bắt đầu.

• Tô Màu Lựa Chọn Ngữ Nghĩa

  Các ô trả lời ghi ĐÚNG sẽ có màu xanh lá cây nhạt và các ô ghi SAI sẽ có màu đỏ ngay cả trước khi chọn, khớp với ý nghĩa ngữ nghĩa của chúng. Điều này xây dựng mối liên hệ giữa các nhãn giá trị chân trị và ý nghĩa của chúng, thay vì coi tất cả các lựa chọn là giống hệt nhau về mặt hình ảnh.

• Ký hiệu Logic Phông Chữ Đơn Khoảng

  Câu hỏi và giải thích sử dụng ký hiệu logic tiêu chuẩn: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. Phông chữ đơn khoảng giúp cấu trúc logic dễ đọc và phản ánh cách các mệnh đề có điều kiện xuất hiện trong toán rời rạc, khoa học máy tính và các phần lý luận hình thức của SAT/LSAT.

Câu hỏi thường gặp