Kuiz Logik Bersyarat
Kuasai logik syarat jika/maka (P → Q). 45 soalan merentasi tiga peringkat: Asas merangkumi jadual kebenaran untuk P→Q (kebenaran kosong, satu kes salah), Modus Ponens, Modus Tollens, dan mengapa Menegaskan Akibat dan Menyangkal Anteceden adalah tidak sah. Menengah menambah kontrapositif, konvers, songsang, bikondisional (P↔Q), kesetaraan disjungsi (¬P∨Q), dan silogisme hipotetikal. Lanjutan merangkumi syarat berantai, penafian syarat (¬(P→Q) = P∧¬Q), tautologi, analisis nilai kebenaran kompleks, dan kes-kes tepi.
Lagi seperti ini
Cara Bermain Jika / Maka
Pelajari Jadual Kebenaran
Jadual kebenaran di lobi adalah asas segala-galanya. P→Q adalah SALAH dalam SATU kes sahaja: apabila P adalah BENAR dan Q adalah SALAH. Dalam semua kes lain — termasuk apabila P adalah SALAH — syarat adalah BENAR. 'Kebenaran kosong' ini (anteceden palsu menjadikan syarat itu benar) adalah konsep yang paling tidak intuitif untuk pemula.
Kenali Peraturan Inferens
Modus Ponens (P→Q, P, ∴Q) dan Modus Tollens (P→Q, ¬Q, ∴¬P) adalah sah. Menyangkal Anteceden (P→Q, ¬P, ∴¬Q) dan Menegaskan Akibat (P→Q, Q, ∴P) adalah kesilapan yang TIDAK SAH. Peringkat Asas menguji keempat-empatnya.
Kuasai Bentuk Setara
Peringkat Menengah menguji empat bentuk berkaitan: KONTRAPOSITIF (¬Q→¬P, setara dengan asal), KONVERS (Q→P, TIDAK setara), SONGSANG (¬P→¬Q, TIDAK setara), dan BIKONDISIONAL (P↔Q, benar hanya apabila P dan Q sepadan). Juga: P→Q ≡ ¬P∨Q adalah kesetaraan disjungsi.
Uruskan Kes Lanjutan
Soalan lanjutan meneroka: silogisme hipotetikal berantai (A→B→C→D memberikan A→D); apa yang boleh kita tentukan jika P→Q diketahui SALAH (P=T, Q=F); tautologi seperti (P→Q)∨(Q→P); dan penafian ¬(P→Q) = P∧¬Q. Ini merangkumi kandungan daripada kursus matematik diskret dan logik formal.
Ciri Utama
45 Soalan Merentasi 3 Peringkat
Asas (15): Jadual kebenaran penuh untuk P→Q dengan kesemua empat baris; mengenal pasti satu kes salah (P=T, Q=F); Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); mengapa Menyangkal Anteceden dan Menegaskan Akibat tidak sah; dan kebenaran kosong (anteceden palsu = sentiasa benar). Menengah (15): Kontrapositif (¬Q→¬P), konvers (Q→P), dan songsang (¬P→¬Q); pasangan mana yang setara secara logik; bikondisional (P↔Q); kesetaraan disjungsi (P→Q ≡ ¬P∨Q); penafian suatu syarat; dan silogisme hipotetikal. Lanjutan (15): Syarat berantai; tautologi; mengetahui P→Q adalah salah memaksa P=T dan Q=F; menggabungkan syarat untuk membuktikan bikondisional; menentukan Q daripada kedua-dua P→Q dan ¬P→Q; dan makna logik P→P.
Lobi Jadual Kebenaran Interaktif
Lobi memaparkan jadual kebenaran lengkap untuk P→Q dengan nilai kebenaran berkod warna — cip hijau untuk BENAR, merah untuk SALAH — dan menyerlahkan satu baris yang menghasilkan SALAH. Ini berfungsi sebagai rujukan yang berterusan dan mengajar mekanik utama sebelum kuiz bermula.
Pewarnaan Pilihan Semantik
Jubin jawapan yang menyatakan BENAR diwarnai sedikit hijau dan jubin yang menyatakan SALAH diwarnai merah walaupun sebelum dipilih, sepadan dengan makna semantiknya. Ini membina persatuan antara label nilai kebenaran dan makna mereka, bukannya merawat semua pilihan sebagai serupa secara visual.
Notasi Logik Monospace
Soalan dan penjelasan menggunakan notasi logik standard: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. Fon monospace menjadikan struktur logik boleh diimbas dan mencerminkan bagaimana syarat muncul dalam matematik diskret, sains komputer, dan bahagian penaakulan formal SAT/LSAT.
Soalan Lazim
Mengapa 'Jika palsu, maka apa sahaja' BENAR?
Ini dipanggil kebenaran kosong. Syarat 'Jika P, maka Q' adalah janji: 'Bila-bila P berlaku, Q akan berlaku.' Jika P tidak pernah berlaku (P adalah palsu), janji itu tidak pernah diuji — dan janji yang tidak diuji tidak boleh dilanggar. Jadi syarat itu secara teknikalnya benar. Ini terasa pelik tetapi konsisten secara logik: anteceden palsu tidak pernah boleh melanggar syarat itu.
Apakah perbezaan antara kontrapositif, konvers, dan songsang?
Asal: Jika P, maka Q (P→Q). Kontrapositif: Jika bukan Q, maka bukan P (¬Q→¬P) — SETARA dengan asal. Konvers: Jika Q, maka P (Q→P) — TIDAK setara. Songsang: Jika bukan P, maka bukan Q (¬P→¬Q) — TIDAK setara (tetapi setara dengan konvers). Petua memori: Asal dan Kontrapositif adalah setara; Konvers dan Songsang adalah setara antara satu sama lain.
Apakah itu Modus Ponens?
Modus Ponens ('menegaskan anteseden'): P→Q, P, ∴Q. Jika syarat itu berlaku dan anteseden adalah benar, akibatnya mesti benar. Contoh: 'Jika hujan, bumi akan basah. Sedang hujan. Oleh itu, bumi akan basah.' Ini adalah bentuk inferens deduktif yang paling asas dan sentiasa sah.
Apakah itu Modus Tollens?
Modus Tollens ('menyangkal akibat'): P→Q, ¬Q, ∴¬P. Jika syarat itu berlaku dan akibatnya SALAH, anteseden mesti palsu. Contoh: 'Jika hujan, bumi akan basah. Bumi TIDAK basah. Oleh itu, ia TIDAK hujan.' Ini adalah sah kerana syarat itu akan dilanggar (P=T, Q=F) jika P adalah benar.
Mengapa 'Menegaskan Akibat' tidak sah?
Menegaskan Akibat: P→Q, Q, ∴P adalah tidak sah. Walaupun syarat itu berlaku dan Q adalah benar, P mungkin palsu — Q mungkin disebabkan oleh sesuatu yang lain. Contoh: 'Jika hujan, bumi akan basah. Bumi basah. Oleh itu, ia hujan.' Tidak sah — bumi mungkin basah daripada penyiram. Syarat itu tidak menyatakan hujan adalah SATU-SATUNYA punca basah.
Bagaimana kiraan markah berfungsi?
Jawapan yang betul mendapat 10 mata (Asas), 15 mata (Menengah), atau 20 mata (Lanjutan). Jawapan betul berturut-turut menambah bonus rentetan 5 mata bagi setiap jawapan selepas yang pertama. Jawapan salah mengulang rentetan kepada sifar.