Bài kiểm tra logic có điều kiện
Làm chủ logic của các mệnh đề có điều kiện nếu/thì (P → Q). 45 bài toán trải dài ba cấp độ: Nền tảng bao gồm bảng chân trị cho P→Q (chân trị rỗng, trường hợp sai duy nhất), Modus Ponens, Modus Tollens, và tại sao Khẳng định hệ quả và Phủ định tiền đề là không hợp lệ. Trung cấp bổ sung mệnh đề đảo (contrapositive), mệnh đề thuận (converse), mệnh đề nghịch (inverse), mệnh đề song điều kiện (P↔Q), tương đương hội (¬P∨Q), và tam đoạn luận giả định. Nâng cao bao gồm các mệnh đề có điều kiện nối chuỗi, phủ định của mệnh đề có điều kiện (¬(P→Q) = P∧¬Q), hằng đúng (tautologies), phân tích giá trị chân trị phức tạp và các trường hợp biên.
Thêm game giống vậy
Cách Chơi Nếu / Thì
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.
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.
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.
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
Tại sao 'Nếu sai, thì bất cứ điều gì' lại ĐÚNG?
Điều này được gọi là chân trị rỗng. Một mệnh đề có điều kiện 'Nếu P, thì Q' là một lời hứa: 'Bất cứ khi nào P xảy ra, Q sẽ xảy ra.' Nếu P không bao giờ xảy ra (P là sai), lời hứa không bao giờ được kiểm tra — và một lời hứa chưa được kiểm tra không thể bị phá vỡ. Vì vậy, mệnh đề có điều kiện về mặt kỹ thuật là đúng. Điều này có vẻ kỳ lạ nhưng nhất quán về mặt logic: một tiền đề sai không bao giờ có thể vi phạm mệnh đề có điều kiện.
Sự khác biệt giữa mệnh đề đảo, mệnh đề thuận và mệnh đề nghịch là gì?
Gốc: Nếu P, thì Q (P→Q). Mệnh đề đảo: Nếu không Q, thì không P (¬Q→¬P) — TƯƠNG ĐƯƠNG với gốc. Mệnh đề thuận: Nếu Q, thì P (Q→P) — KHÔNG tương đương. Mệnh đề nghịch: Nếu không P, thì không Q (¬P→¬Q) — KHÔNG tương đương (nhưng tương đương với mệnh đề thuận). Mẹo ghi nhớ: Gốc và Mệnh đề đảo tương đương; Mệnh đề thuận và Mệnh đề nghịch tương đương với nhau.
Modus Ponens là gì?
Modus Ponens ('khẳng định tiền đề'): P→Q, P, ∴Q. Nếu mệnh đề có điều kiện đúng và tiền đề đúng, thì hệ quả phải đúng. Ví dụ: 'Nếu trời mưa, mặt đất sẽ ướt. Trời đang mưa. Do đó, mặt đất bị ướt.' Đây là dạng suy luận diễn dịch cơ bản và phổ quát nhất, hợp lệ.
Modus Tollens là gì?
Modus Tollens ('phủ định hệ quả'): P→Q, ¬Q, ∴¬P. Nếu mệnh đề có điều kiện đúng và hệ quả là SAI, thì tiền đề phải sai. Ví dụ: 'Nếu trời mưa, mặt đất sẽ ướt. Mặt đất KHÔNG ướt. Do đó, trời KHÔNG mưa.' Điều này hợp lệ vì mệnh đề có điều kiện sẽ bị vi phạm (P=Đ, Q=S) nếu P là đúng.
Tại sao 'Khẳng định hệ quả' lại không hợp lệ?
Khẳng định hệ quả: P→Q, Q, ∴P là không hợp lệ. Ngay cả khi mệnh đề có điều kiện đúng và Q đúng, P có thể sai — Q có thể do một nguyên nhân khác gây ra. Ví dụ: 'Nếu trời mưa, mặt đất sẽ ướt. Mặt đất bị ướt. Do đó, trời đã mưa.' Không hợp lệ — mặt đất có thể bị ướt từ máy phun nước. Mệnh đề có điều kiện không nói rằng mưa là NGUYÊN NHÂN DUY NHẤT làm ướt.
Cách tính điểm hoạt động như thế nào?
Câu trả lời đúng kiếm được 10 điểm (Nền tảng), 15 điểm (Trung cấp), hoặc 20 điểm (Nâng cao). Các câu trả lời đúng liên tiếp cộng thêm 5 điểm thưởng cho mỗi câu trả lời sau câu đầu tiên. Một câu trả lời sai sẽ đặt lại chuỗi về 0.