Lompat ke konten utama

Kompetisi Ajak Teman: hadiah total Rp1.000.000 tunai untuk 3 pengajak terbanyak. Berakhir 29 November 2026. Ikut kompetisi

Masuk
Penalaran & UjianGratis, tanpa loginberjalan di perangkatmu

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

  1. Tabel & sifat: ketik rumus atau pilih contoh; kolom bantu dihitung dari dalam kurung ke luar, lalu baca apakah rumusnya tautologi, kontradiksi, atau kontingensi.
  2. Kesetaraan: isi dua rumus; baris yang nilainya berbeda disorot sebagai contoh tandingan. Bandingkan kontraposisi, konvers, dan invers dari p → q.
  3. Argumen sah?: isi dua premis dan simpulan; baris hijau membuat semua premis benar, baris merah membuktikan argumennya tidak sah.
  4. Papan simbol menulis ke kolom yang terakhir dipilih; bisa juga mengetik ~, &, |, ->, <-> atau kata tidak, dan, atau, jika … maka.