Jeśli / Wtedy — Quiz dotyczący logiki warunkowej

Jak grać w Jeśli / Wtedy

1. 1

   Naucz się Tabeli Prawdy

   Tabela prawdy w sali jest podstawą wszystkiego. P→Q jest FAŁSZEM tylko w JEDNYM przypadku: gdy P jest PRAWDĄ, a Q jest FAŁSZEM. We wszystkich innych przypadkach — w tym, gdy P jest FAŁSZEM — warunek jest PRAWDZIWY. Ta 'prawda z próżności' (fałszywy poprzednik sprawia, że warunek jest prawdziwy) jest najbardziej intuicyjnym pojęciem dla początkujących.

2. 2

   Rozpoznaj Reguły Wnioskowania

   Modus Ponens (P→Q, P, ∴Q) i Modus Tollens (P→Q, ¬Q, ∴¬P) są poprawne. Zaprzeczenie poprzednika (P→Q, ¬P, ∴¬Q) i potwierdzenie następnika (P→Q, Q, ∴P) to NIEPOPRAWNE błędy. Poziom Podstawowy testuje wszystkie cztery.

3. 3

   Opanuj Równoważne Formy

   Poziom Średniozaawansowany testuje cztery powiązane formy: KONTRAPOZYCJĘ (¬Q→¬P, równoważna oryginalnej), ODWRÓTNOŚĆ (Q→P, NIE równoważna), NEGACJĘ (¬P→¬Q, NIE równoważna, ale równoważna odwrotności) oraz BIKONDYCJONALNOŚĆ (P↔Q, prawdziwa tylko gdy P i Q są takie same). Również: P→Q ≡ ¬P∨Q to równoważność z alternatywą.

4. 4

   Radź sobie z Zaawansowanymi Przypadkami

   Zaawansowane pytania badają: połączony sylogizm hipotetyczny (A→B→C→D daje A→D); co możemy ustalić, jeśli wiemy, że P→Q jest FAŁSZEM (P=P, Q=F); tautologie takie jak (P→Q)∨(Q→P); oraz negację ¬(P→Q) = P∧¬Q. Obejmują one treści z kursów matematyki dyskretnej i logiki formalnej.

Kluczowe Funkcje

• 45 zadań na 3 poziomach

  Poziom Podstawowy (15 zadań): Pełna tabela prawdy dla P→Q ze wszystkimi czterema wierszami; identyfikacja jedynego przypadku fałszu (P=P, Q=F); Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); dlaczego 'zaprzeczenie poprzednika' i 'potwierdzenie następnika' są niepoprawne; oraz prawda z próżności (fałszywy poprzednik = zawsze prawda). Poziom Średniozaawansowany (15 zadań): Kontrapozycja (¬Q→¬P), odwrotność (Q→P), negacja (¬P→¬Q); które pary są logicznie równoważne; bikondycjonalność (P↔Q); równoważność z alternatywą (P→Q ≡ ¬P∨Q); negacja warunku oraz sylogizm hipotetyczny. Poziom Zaawansowany (15 zadań): Warunki połączone; tautologie; wiedza, że P→Q jest fałszywe wymusza P=P i Q=F; łączenie warunków w celu dowodzenia bikondycjonalności; wnioskowanie o Q na podstawie P→Q i ¬P→Q; oraz logiczne znaczenie P→P.

• Interaktywna Sala Tabel Prawdy

  Sala prezentuje kompletną tabelę prawdy dla P→Q z kolorowymi wartościami logicznymi — zielone żetony dla PRAWDY, czerwone dla FAŁSZU — i podświetla wiersz, który daje FAŁSZ. Służy to jako stałe odniesienie i uczy podstawowej mechaniki przed rozpoczęciem quizu.

• Semantyczne Kolorowanie Wyborów

  Kafelki odpowiedzi TRUE są subtelnie zabarwione na zielono, a kafelki FALSE na czerwono jeszcze przed wyborem, zgodnie z ich znaczeniem semantycznym. Buduje to skojarzenie między etykietami wartości logicznych a ich znaczeniem, zamiast traktować wszystkie wybory jako wizualnie identyczne.

• Monotypograficzna Notacja Logiczna

  Pytania i wyjaśnienia używają standardowej notacji logicznej: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. Czcionka monotypograficzna sprawia, że struktura logiczna jest łatwa do zeskanowania i odzwierciedla sposób, w jaki warunki pojawiają się w matematyce dyskretnej, informatyce oraz sekcjach rozumowania formalnego SAT/LSAT.

Często Zadawane Pytania