Tabel Kebenaran Interaktif: Implikasi, Kontraposisi, dan Argumen Sah
Ketik rumus dengan ¬, ∧, ∨, →, dan ↔, lalu lihat tabel kebenarannya lengkap dengan kolom bantu; uji tautologi, kesetaraan p → q dengan ¬q → ¬p, dan kesahan argumen seperti menegaskan akibat.
Tabel Kebenaran Interaktif: Implikasi, Kontraposisi, dan Argumen Sah
- Tabel & sifat: ketik rumus atau pilih contoh; kolom bantu dihitung dari dalam kurung ke luar, lalu baca apakah rumusnya tautologi, kontradiksi, atau kontingensi.
- Kesetaraan: isi dua rumus; baris yang nilainya berbeda disorot sebagai contoh tandingan. Bandingkan kontraposisi, konvers, dan invers dari p → q.
- Argumen sah?: isi dua premis dan simpulan; baris hijau membuat semua premis benar, baris merah membuktikan argumennya tidak sah.
- Papan simbol menulis ke kolom yang terakhir dipilih; bisa juga mengetik ~, &, |, ->, <-> atau kata tidak, dan, atau, jika … maka.
- Variabel dibatasi p, q, r, dan s, jadi tabel paling banyak 16 baris.
- Tanpa kurung, urutan ikatnya ¬, lalu ∧, ∨, →, ↔; → dan ↔ mengikat ke kanan. Baris "Dibaca" di bawah kolom rumus menunjukkan cara rumus dibaca.
- Hanya logika proposisi; kalimat berkata semua dan sebagian diuji di lab silogisme dengan diagram Venn.
- OpenStax — Contemporary Mathematics, 2.3 Constructing Truth Tables · Tabel kebenaran ingkaran, konjungsi, dan disjungsi; 2ⁿ baris untuk n pernyataan dasar
- OpenStax — Contemporary Mathematics, 2.4 Truth Tables for the Conditional and Biconditional · Implikasi salah hanya bila p benar dan q salah; biimplikasi benar bila nilainya sama
- OpenStax — Contemporary Mathematics, 2.5 Equivalent Statements · Kontraposisi setara dengan implikasinya; konvers setara dengan invers
- OpenStax — Contemporary Mathematics, 2.6 De Morgan's Laws · Ingkaran konjungsi dan disjungsi
- OpenStax — Contemporary Mathematics, 2.7 Logical Arguments · Modus ponens, modus tollens, silogisme; menegaskan akibat dan mengingkari sebab tidak sah
Apakah Tabel kebenaran ini gratis?
Gratis dan tanpa akun. Simulasinya berjalan di peramban kamu; tidak ada yang dikirim ke server KelasGratis. Bila kamu masuk, KelasGratis hanya mencatat bahwa akunmu membuka lab ini (sekali sehari) untuk riwayat dan aktivitas komunitas.
Apa saja penyederhanaan modelnya?
Variabel dibatasi p, q, r, dan s, jadi tabel paling banyak 16 baris. Tanpa kurung, urutan ikatnya ¬, lalu ∧, ∨, →, ↔; → dan ↔ mengikat ke kanan. Baris "Dibaca" di bawah kolom rumus menunjukkan cara rumus dibaca. Hanya logika proposisi; kalimat berkata semua dan sebagian diuji di lab silogisme dengan diagram Venn.
Boleh dipasang di situs sekolah atau blog?
Boleh. Pasang iframe ke https://kelasgratis.com/lab/tabel-kebenaran?embed=1; bingkainya menampilkan lab saja beserta tautan balik.