Jika / Maka — Kuis Logika Kondisional
Kuasai logika kondisional jika/maka (P → Q). 45 soal di tiga level: Fondasi mencakup tabel kebenaran untuk P→Q (kebenaran hampa, satu kasus salah), Modus Ponens, Modus Tollens, dan mengapa Mengafirmasi Konsekuen dan Menyangkal Anteseden tidak valid. Menengah menambahkan kontrapositif, konvers, invers, bikondisional (P↔Q), ekuivalensi disjungtif (¬P∨Q), dan silogisme hipotetis. Mahir mencakup kondisional berantai, negasi kondisional (¬(P→Q) = P∧¬Q), tautologi, analisis nilai kebenaran kompleks, dan kasus tepi.
Cara Bermain Jika / Maka
- 1
Pelajari Tabel Kebenaran
Tabel kebenaran di lobi adalah fondasi segalanya. P→Q SALAH di SATU kasus saja: ketika P BENAR dan Q SALAH. Dalam semua kasus lain — termasuk ketika P SALAH — kondisional adalah BENAR. 'Kebenaran hampa' ini (anteseden salah membuat kondisional benar) adalah konsep yang paling berlawanan dengan intuisi bagi pemula.
- 2
Kenali Aturan Inferensi
Modus Ponens (P→Q, P, ∴Q) dan Modus Tollens (P→Q, ¬Q, ∴¬P) valid. Menyangkal Anteseden (P→Q, ¬P, ∴¬Q) dan Mengafirmasi Konsekuen (P→Q, Q, ∴P) adalah sesat yang TIDAK VALID. Tingkat Fondasi menguji keempatnya.
- 3
Kuasai Bentuk Ekuivalen
Tingkat Menengah menguji empat bentuk terkait: KONTRAPOSITIF (¬Q→¬P, ekuivalen dengan asli), KONVERS (Q→P, TIDAK ekuivalen), INVERS (¬P→¬Q, TIDAK ekuivalen), dan BIKONDISIONAL (P↔Q, benar hanya ketika P dan Q cocok). Juga: P→Q ≡ ¬P∨Q adalah ekuivalensi disjungtif.
- 4
Tangani Kasus Mahir
Pertanyaan mahir membahas: silogisme hipotetis berantai (A→B→C→D memberikan A→D); apa yang dapat kita tentukan jika P→Q diketahui SALAH (P=T, Q=F); tautologi seperti (P→Q)∨(Q→P); dan negasi ¬(P→Q) = P∧¬Q. Ini mencakup konten dari mata kuliah matematika diskrit dan logika formal.
Fitur Utama
45 Soal di 3 Level
Fondasi (15): Tabel kebenaran lengkap untuk P→Q dengan keempat baris; mengidentifikasi satu kasus salah (P=T, Q=F); Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); mengapa Menyangkal Anteseden dan Mengafirmasi Konsekuen tidak valid; dan kebenaran hampa (anteseden salah = selalu benar). Menengah (15): Kontrapositif (¬Q→¬P), konvers (Q→P), dan invers (¬P→¬Q); pasangan mana yang secara logis ekuivalen; bikondisional (P↔Q); ekuivalensi disjungtif (P→Q ≡ ¬P∨Q); negasi dari kondisional; dan silogisme hipotetis. Mahir (15): Kondisional berantai; tautologi; mengetahui P→Q salah memaksa P=T dan Q=F; menggabungkan kondisional untuk membuktikan bikondisional; menentukan Q dari P→Q dan ¬P→Q; dan makna logis P→P.
Lobi Tabel Kebenaran Interaktif
Lobi menampilkan tabel kebenaran lengkap untuk P→Q dengan nilai kebenaran yang diberi kode warna — chip hijau untuk BENAR, merah untuk SALAH — dan menyoroti satu baris yang menghasilkan SALAH. Ini berfungsi sebagai referensi permanen dan mengajarkan mekanisme inti sebelum kuis dimulai.
Pewarnaan Pilihan Semantik
Ubin jawaban yang bertuliskan BENAR diwarnai halus dengan warna hijau dan ubin yang bertuliskan SALAH diwarnai merah bahkan sebelum dipilih, sesuai dengan makna semantiknya. Ini membangun asosiasi antara label nilai kebenaran dan maknanya, daripada memperlakukan semua pilihan sebagai identik secara visual.
Notasi Logika Monospace
Pertanyaan dan penjelasan menggunakan notasi logis standar: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. Font monospace membuat struktur logis dapat dipindai dan mencerminkan bagaimana kondisional muncul dalam matematika diskrit, ilmu komputer, dan bagian penalaran formal SAT/LSAT.
Pertanyaan yang Sering Diajukan
Mengapa 'Jika salah, maka apa pun' BENAR?
Ini disebut kebenaran hampa. Kondisional 'Jika P, maka Q' adalah janji: 'Kapan pun P terjadi, Q akan terjadi.' Jika P tidak pernah terjadi (P salah), janji tersebut tidak pernah diuji — dan janji yang tidak teruji tidak bisa dilanggar. Jadi, kondisional secara teknis benar. Ini terasa aneh tetapi konsisten secara logis: anteseden yang salah tidak pernah dapat melanggar kondisional.
Apa perbedaan antara kontrapositif, konvers, dan invers?
Asli: Jika P, maka Q (P→Q). Kontrapositif: Jika bukan Q, maka bukan P (¬Q→¬P) — EKUIVALEN dengan asli. Konvers: Jika Q, maka P (Q→P) — TIDAK ekuivalen. Invers: Jika bukan P, maka bukan Q (¬P→¬Q) — TIDAK ekuivalen (tetapi ekuivalen dengan konvers). Trik memori: Asli dan Kontrapositif ekuivalen; Konvers dan Invers ekuivalen satu sama lain.
Apa itu Modus Ponens?
Modus Ponens ('mengafirmasi anteseden'): P→Q, P, ∴Q. Jika kondisional berlaku dan anteseden benar, maka konsekuen pasti benar. Contoh: 'Jika hujan, tanah menjadi basah. Sedang hujan. Oleh karena itu, tanah menjadi basah.' Ini adalah bentuk inferensi deduktif yang paling mendasar dan universal.
Apa itu Modus Tollens?
Modus Tollens ('menyangkal konsekuen'): P→Q, ¬Q, ∴¬P. Jika kondisional berlaku dan konsekuen SALAH, maka anteseden harus salah. Contoh: 'Jika hujan, tanah menjadi basah. Tanah TIDAK basah. Oleh karena itu, TIDAK turun hujan.' Ini valid karena kondisional akan dilanggar (P=T, Q=F) jika P benar.
Mengapa 'Mengafirmasi Konsekuen' tidak valid?
Mengafirmasi Konsekuen: P→Q, Q, ∴P tidak valid. Bahkan jika kondisional berlaku dan Q benar, P mungkin salah — Q bisa saja disebabkan oleh sesuatu yang lain. Contoh: 'Jika hujan, tanah menjadi basah. Tanah basah. Oleh karena itu, hujan.' Tidak valid — tanah bisa basah karena sprinkler. Kondisional tidak menyatakan hujan adalah SATU-SATUNYA penyebab basah.
Bagaimana cara kerjanya penilaian?
Jawaban yang benar mendapatkan 10 poin (Fondasi), 15 poin (Menengah), atau 20 poin (Mahir). Jawaban benar berturut-turut menambahkan bonus streak 5 poin per jawaban setelah yang pertama. Jawaban salah akan mengatur ulang streak menjadi nol.