Jeśli / Wtedy — Quiz dotyczący logiki warunkowej
Opanuj logikę warunków typu 'jeśli/wtedy' (P → Q). 45 zadań na trzech poziomach: Podstawowy obejmuje tabelę prawdy dla P→Q (prawda z próżności, jeden przypadek fałszu), Modus Ponens, Modus Tollens oraz dlaczego 'potwierdzenie następnika' i 'zaprzeczenie poprzednika' są niepoprawne. Poziom Średniozaawansowany dodaje kontrapozycję, odwrotność, negację, bikondycjonalność (P↔Q), równoważność z alternatywą (¬P∨Q) oraz sylogizm hipotetyczny. Poziom Zaawansowany obejmuje warunki połączone, negację warunków (¬(P→Q) = P∧¬Q), tautologie, złożoną analizę wartości logicznych i przypadki graniczne.
Jak grać w Jeśli / Wtedy
- 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
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
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
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
Dlaczego 'Jeśli fałsz, to cokolwiek' jest PRAWDĄ?
Nazywa się to prawdą z próżności. Warunek 'Jeśli P, to Q' to obietnica: 'Zawsze, gdy P się wydarzy, Q się wydarzy'. Jeśli P nigdy się nie zdarza (P jest fałszywe), obietnica nigdy nie jest testowana — a niedotesta obietnicy nie można złamać. Więc warunek jest technicznie prawdziwy. To wydaje się dziwne, ale jest logicznie spójne: fałszywy poprzednik nigdy nie może naruszyć warunku.
Jaka jest różnica między kontrapozycją, odwrotnością a negacją?
Oryginał: Jeśli P, to Q (P→Q). Kontrapozycja: Jeśli nie Q, to nie P (¬Q→¬P) — RÓWNOWAŻNA oryginałowi. Odwrotność: Jeśli Q, to P (Q→P) — NIE równoważna. Negacja: Jeśli nie P, to nie Q (¬P→¬Q) — NIE równoważna (ale równoważna odwrotności). Triks zapamiętywania: Oryginał i Kontrapozycja są równoważne; Odwrotność i Negacja są równoważne sobie nawzajem.
Czym jest Modus Ponens?
Modus Ponens ('potwierdzenie poprzednika'): P→Q, P, ∴Q. Jeśli warunek zachodzi i poprzednik jest prawdziwy, następnik musi być prawdziwy. Przykład: 'Jeśli pada deszcz, ziemia staje się mokra. Pada deszcz. Zatem ziemia jest mokra.' Jest to najbardziej podstawowa i uniwersalnie poprawna forma wnioskowania dedukcyjnego.
Czym jest Modus Tollens?
Modus Tollens ('zaprzeczenie następnika'): P→Q, ¬Q, ∴¬P. Jeśli warunek zachodzi, a następnik jest FAŁSZYWY, poprzednik musi być fałszywy. Przykład: 'Jeśli pada deszcz, ziemia staje się mokra. Ziemia NIE jest mokra. Zatem NIE padało.' Jest to poprawne, ponieważ warunek zostałby naruszony (P=P, Q=F), gdyby P było prawdziwe.
Dlaczego 'potwierdzenie następnika' jest niepoprawne?
Potwierdzenie następnika: P→Q, Q, ∴P jest niepoprawne. Nawet jeśli warunek zachodzi i Q jest prawdziwe, P może być fałszywe — Q mogło zostać spowodowane przez coś innego. Przykład: 'Jeśli pada deszcz, ziemia staje się mokra. Ziemia jest mokra. Zatem padał deszcz.' Niepoprawne — ziemia mogła być mokra od zraszacza. Warunek nie mówi, że deszcz jest JEDYNĄ przyczyną mokrości.
Jak działa punktacja?
Poprawne odpowiedzi dają 10 pkt (Podstawowy), 15 pkt (Średniozaawansowany) lub 20 pkt (Zaawansowany). Kolejne poprawne odpowiedzi dodają premię za serię 5 punktów za każdą odpowiedź po pierwszej. Błędna odpowiedź resetuje serię do zera.