BrowserFun
Trò chơi mớiDanh mụcXem tất cả
© 2026 BrowserFun. Bảo lưu mọi quyền.
Chính sách quyền riêng tưĐiều khoản & Điều kiệnChính sách CookieMiễn trừ trách nhiệm
  1. Trang chủ
  3. Công cụ
  5. Nếu / Thì — Bài kiểm tra logic có điều kiện

Nếu / Thì — 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.

Trò chơiGiáo dụclogicToáncritical-thinking
Nếu / Thì — 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

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

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.

Công cụ liên quan

Trò chơiAll →

🃏 Game 24 🃏

Trò chơi bài 24 cổ điển! Cho 4 số ngẫu nhiên, hãy kết hợp chúng bằng +, −, ×, ÷ để đạt được chính xác 24. Mỗi số phải được sử dụng đúng một lần. Chọn độ khó của bạn (1–6, 1–9 hoặc 1–13), xây dựng chuỗi thắng và vượt qua kỷ lục của bạn!

🔢 Sudoku 🔢

Sudoku cổ điển 9x9 với bốn cấp độ khó — Dễ, Trung bình, Khó và Chuyên gia. Có bộ đếm thời gian trực tiếp, bộ đếm lỗi, ghi chú bút chì và 3 gợi ý cho mỗi câu đố. Phá kỷ lục thời gian của bạn!

🧩 MathDoku 🧩

Một câu đố số học theo phong cách KenKen! Điền vào lưới các số từ 1 đến N sao cho mỗi hàng và mỗi cột chứa mỗi số chính xác một lần. Mỗi lồng được viền phải bằng giá trị mục tiêu của nó bằng phép cộng, trừ, nhân hoặc chia. Chọn từ lưới 4×4, 5×5 hoặc 6×6.

Acrostic Puzzle – Solve Clues to Reveal a Hidden Phrase

Play acrostic puzzles where you solve word clues and the first letters of each answer spell out a hidden phrase. Features five categories, three difficulty levels, and a hint system.

Bài Kiểm Tra Từ Đồng Nghĩa — Trò Chơi Tìm Từ Đồng Nghĩa Gần Nhất

Kiểm tra vốn từ vựng của bạn bằng cách chọn từ đồng nghĩa gần nhất trong 4 lựa chọn. Phân cấp từ Lớp 9 đến Chuẩn bị SAT trên các lĩnh vực Tổng quát, Khoa học, Văn học và Lịch sử — với sự hỗ trợ loại bỏ câu trả lời sai để làm cho trò chơi trở nên chiến lược.

Bán Nước Chanh

Mua nguyên liệu, đặt giá, đối phó với thời tiết và nhu cầu, và tối đa hóa lợi nhuận trong 7 ngày trong trò chơi mô phỏng kinh doanh cổ điển này.

Giáo dụcAll →

Bài Kiểm Tra Từ Đồng Nghĩa — Trò Chơi Tìm Từ Đồng Nghĩa Gần Nhất

Kiểm tra vốn từ vựng của bạn bằng cách chọn từ đồng nghĩa gần nhất trong 4 lựa chọn. Phân cấp từ Lớp 9 đến Chuẩn bị SAT trên các lĩnh vực Tổng quát, Khoa học, Văn học và Lịch sử — với sự hỗ trợ loại bỏ câu trả lời sai để làm cho trò chơi trở nên chiến lược.

Các Loại Lập Luận — Bài Kiểm Tra Logic & Ngụy Biện

Xác định xem một lập luận là diễn dịch, quy nạp hay suy luận bắc cầu — và đặt tên cho ngụy biện logic khi có lỗi xảy ra. 45 bài tập trải dài ba cấp độ: Cơ bản bao gồm các ngụy biện phổ biến nhất (tấn công cá nhân, người rơm, lưỡng nan sai lầm, dốc trơn trượt, dựa vào thẩm quyền, hiệu ứng đám đông, khái quát vội vã, dựa vào sự thiếu hiểu biết) và các loại lập luận cơ bản. Trung cấp bổ sung các ngụy biện không chính quy tinh vi hơn (sau đó, vì vậy, do đó, bạn cũng vậy, bằng chứng giai thoại, dựa vào tự nhiên, đầu độc nguồn nước, lập luận vòng vo). Nâng cao bao gồm các ngụy biện chính quy (khẳng định hệ quả, phủ định tiền đề, modus tollens), tính hợp lệ so với tính chắc chắn, diễn ngôn nhập nhằng và suy luận bắc cầu.

Câu đố từ trái nghĩa — Trò chơi tìm từ đối lập

Kiểm tra vốn từ vựng của bạn bằng cách chọn từ trái nghĩa đúng từ 4 lựa chọn. Phân cấp từ Lớp 9 đến luyện thi SAT trên các lĩnh vực Tổng quát, Khoa học, Văn học và Lịch sử — với gợi ý ngữ cảnh điền vào chỗ trống để giúp bạn giải những từ đối lập khó nhất.

Câu đố Từ vựng dựa vào Ngữ cảnh

Một đoạn văn ngắn xuất hiện với một từ được làm nổi bật. Hãy sử dụng các câu xung quanh để suy ra nghĩa của từ đó, sau đó chọn từ bốn định nghĩa. Mô phỏng trực tiếp các câu hỏi đọc hiểu của bài thi SAT. Phần SAT tập trung vào các từ phổ biến được sử dụng trong các ngữ cảnh học thuật bất ngờ — kỹ năng được kiểm tra nhiều nhất trong bài thi.

Đố Từ Điền Chỗ Trống — Trò Chơi Từ Vựng Theo Ngữ Cảnh

Đọc một câu có từ bị thiếu và chọn từ vựng phù hợp nhất với ngữ cảnh. Ba cấp độ khó từ Lớp 9 đến luyện thi SAT, bao gồm các chủ đề Tổng quát, Khoa học, Văn học và Lịch sử — mỗi câu là một gợi ý ngữ cảnh thực tế giúp bạn học từ theo cách sử dụng, không chỉ theo định nghĩa.

Hệ Phương Trình — Câu Hỏi Trắc Nghiệm Toán THPT

Giải hệ phương trình tuyến tính gồm hai phương trình bằng phương pháp thế, phương pháp cộng trừ và bài toán thực tế. Bao gồm 45 bài tập với ba cấp độ: Toán lớp 10 (thế đơn giản và xác định hệ phương trình), Toán lớp 11 (cộng trừ nhiều bước, thế nhiều bước và bài toán thực tế), và Nâng cao (hệ tham số, hệ số phân số, mở rộng ba biến và ứng dụng kiểu SAT).

logicAll →

Các Loại Lập Luận — Bài Kiểm Tra Logic & Ngụy Biện

Xác định xem một lập luận là diễn dịch, quy nạp hay suy luận bắc cầu — và đặt tên cho ngụy biện logic khi có lỗi xảy ra. 45 bài tập trải dài ba cấp độ: Cơ bản bao gồm các ngụy biện phổ biến nhất (tấn công cá nhân, người rơm, lưỡng nan sai lầm, dốc trơn trượt, dựa vào thẩm quyền, hiệu ứng đám đông, khái quát vội vã, dựa vào sự thiếu hiểu biết) và các loại lập luận cơ bản. Trung cấp bổ sung các ngụy biện không chính quy tinh vi hơn (sau đó, vì vậy, do đó, bạn cũng vậy, bằng chứng giai thoại, dựa vào tự nhiên, đầu độc nguồn nước, lập luận vòng vo). Nâng cao bao gồm các ngụy biện chính quy (khẳng định hệ quả, phủ định tiền đề, modus tollens), tính hợp lệ so với tính chắc chắn, diễn ngôn nhập nhằng và suy luận bắc cầu.