SlideShare ist ein Scribd-Unternehmen logo
1 von 10
KELOMPOK 2
ARLAN RIDFAN FARID 15.22.1.0122
EVA RATIFAH 15.22.1.0109
MIDA SITI A.B 15.22.1.0142
YENI KURNIATI 15.22.1.0099
TABEL KEBENARAN PERNYATAAN
(TAUTOLOGI, KONTRADIKSI DAN
KONTINGEN)
TABEL KEBENARAN PERNYATAAN
Tabel kebenaran ialah suatu tabel yang
memuat nilai kebenaran pernyataan-
pernyataan majemuk.
Rumus tabel kebenaran:
ket: hasil kali di bagi 22n
Contoh:
1. pᴧq
Rumus: 22 = 4/2 = 2
2. (pᴧq) →r
Rumus: 23 = 8/2 = 4
p q pᴧq
B B B
B S S
S B S
S S S
p q r pᴧq (pᴧq) →r
B B B B B
B B S B S
B S B S S
B S S S B
S B B S S
S B S S B
S S B S S
S S S S B
a). Tabel konjungsi b). Disjungsi
c). Implikasi d) Biimplikasi
p q pᴧq
B B B
B S S
S B S
S S S
p q pᴠq
B B B
B S B
S B B
S S S
p Q P→q
B B B
B S S
S B B
S S B
p q P↔q
B B B
B S S
S B S
S S B
1. TABEL KEBENARAN BIASA
CONTOH:
~ (p ᴧ q)
p q p ᴧ q ~ (p ᴧ q)
B B B S
B S S B
S B S B
S S S B
2. TABEL KEBENARAN SINGKAT
CONTOH:
~ (p ᴧ q)
~ (p ᴧ q)
S B B B
B B S S
B S S B
B S S S
TAUTOLOGI, KONTRADIKSI DAN
KONTINGEN
1.Tautologi
Pernyataan yang semua nilai kebenarannya B
tanpa memandang nilai kebenaran komponen-
komponen pembentukannya.
Contoh:
(p ᴧ q) → q p q (p ᴧ q) (p ᴧ q) → q
B B B B
B S S B
S B S B
S S S B
2. Kontradiksi
Pernyataan yang seluruh nilai kebenarannya
S tanpa memandang nilai kebenaran komponen-
komponen penyusunnya.
Contoh:
pᴧ (~p ᴧ q)
p q ~p (~p ᴧ q) pᴧ (~p ᴧ q)
B B S S S
B S S S S
S B B B S
S S B S S
3. Kontingen
Pernyataan yang nilai kebenarannya
merupakan kumpulan dari nilai B dan S, di luar
tautologi dan kontradiksi.
Contoh:
(p → q) ᴧ ~q
p q (p→q) ~q (p→q)ᴧ ~q
B B B S S
B S S B S
S B B S S
S S B B B
SEKIAN
TERIMAKASIH.....

Weitere ähnliche Inhalte

Was ist angesagt?

Proposisi Logika Matematika
Proposisi Logika MatematikaProposisi Logika Matematika
Proposisi Logika MatematikaTaufik_Yui
 
Pertemuan 02 teori dasar himpunan
Pertemuan 02   teori dasar himpunanPertemuan 02   teori dasar himpunan
Pertemuan 02 teori dasar himpunanFajar Istiqomah
 
Modul persamaan diferensial 1
Modul persamaan diferensial 1Modul persamaan diferensial 1
Modul persamaan diferensial 1Maya Umami
 
Matematika Diskrit - 03 himpunan - 05
Matematika Diskrit - 03 himpunan - 05Matematika Diskrit - 03 himpunan - 05
Matematika Diskrit - 03 himpunan - 05KuliahKita
 
Fungsi Dua Peubah ( Kalkulus 2 )
Fungsi Dua Peubah ( Kalkulus 2 )Fungsi Dua Peubah ( Kalkulus 2 )
Fungsi Dua Peubah ( Kalkulus 2 )Kelinci Coklat
 
Pembuktian Sifat – Sifat Operasi Matriks
Pembuktian Sifat – Sifat Operasi MatriksPembuktian Sifat – Sifat Operasi Matriks
Pembuktian Sifat – Sifat Operasi MatriksIpit Sabrina
 
Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Meycelino A. T
 
Matematika teknik 01-definisi pd
Matematika teknik 01-definisi pdMatematika teknik 01-definisi pd
Matematika teknik 01-definisi pdel sucahyo
 
Modul 4 kongruensi linier
Modul 4   kongruensi linierModul 4   kongruensi linier
Modul 4 kongruensi linierAcika Karunila
 
Logika dan Pembuktian
Logika dan PembuktianLogika dan Pembuktian
Logika dan PembuktianFahrul Usman
 
Bilangan kompleks lengkap
Bilangan kompleks lengkapBilangan kompleks lengkap
Bilangan kompleks lengkapagus_budiarto
 
Matematika Diskrit Relasi Rekursif
Matematika Diskrit Relasi RekursifMatematika Diskrit Relasi Rekursif
Matematika Diskrit Relasi RekursifAyuk Wulandari
 
Persamaandifferensial
PersamaandifferensialPersamaandifferensial
PersamaandifferensialMeiky Ayah
 
Metamtika teknik 03-bernouli dan pdl-tk1
Metamtika teknik 03-bernouli dan pdl-tk1Metamtika teknik 03-bernouli dan pdl-tk1
Metamtika teknik 03-bernouli dan pdl-tk1el sucahyo
 

Was ist angesagt? (20)

Soal dan pembahasan integral permukaan
Soal dan pembahasan integral permukaanSoal dan pembahasan integral permukaan
Soal dan pembahasan integral permukaan
 
Proposisi Logika Matematika
Proposisi Logika MatematikaProposisi Logika Matematika
Proposisi Logika Matematika
 
Pertemuan 02 teori dasar himpunan
Pertemuan 02   teori dasar himpunanPertemuan 02   teori dasar himpunan
Pertemuan 02 teori dasar himpunan
 
Pembuktian dalam matematika
Pembuktian dalam matematikaPembuktian dalam matematika
Pembuktian dalam matematika
 
Modul persamaan diferensial 1
Modul persamaan diferensial 1Modul persamaan diferensial 1
Modul persamaan diferensial 1
 
Matematika Diskrit - 03 himpunan - 05
Matematika Diskrit - 03 himpunan - 05Matematika Diskrit - 03 himpunan - 05
Matematika Diskrit - 03 himpunan - 05
 
Bilangan kompleks
Bilangan kompleksBilangan kompleks
Bilangan kompleks
 
Fungsi Dua Peubah ( Kalkulus 2 )
Fungsi Dua Peubah ( Kalkulus 2 )Fungsi Dua Peubah ( Kalkulus 2 )
Fungsi Dua Peubah ( Kalkulus 2 )
 
Pembuktian Sifat – Sifat Operasi Matriks
Pembuktian Sifat – Sifat Operasi MatriksPembuktian Sifat – Sifat Operasi Matriks
Pembuktian Sifat – Sifat Operasi Matriks
 
Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)
 
Himpunan matematika diskrit
Himpunan matematika diskritHimpunan matematika diskrit
Himpunan matematika diskrit
 
Matematika teknik 01-definisi pd
Matematika teknik 01-definisi pdMatematika teknik 01-definisi pd
Matematika teknik 01-definisi pd
 
Turunan Fungsi Kompleks
Turunan Fungsi KompleksTurunan Fungsi Kompleks
Turunan Fungsi Kompleks
 
Modul 4 kongruensi linier
Modul 4   kongruensi linierModul 4   kongruensi linier
Modul 4 kongruensi linier
 
01 barisan-dan-deret
01 barisan-dan-deret01 barisan-dan-deret
01 barisan-dan-deret
 
Logika dan Pembuktian
Logika dan PembuktianLogika dan Pembuktian
Logika dan Pembuktian
 
Bilangan kompleks lengkap
Bilangan kompleks lengkapBilangan kompleks lengkap
Bilangan kompleks lengkap
 
Matematika Diskrit Relasi Rekursif
Matematika Diskrit Relasi RekursifMatematika Diskrit Relasi Rekursif
Matematika Diskrit Relasi Rekursif
 
Persamaandifferensial
PersamaandifferensialPersamaandifferensial
Persamaandifferensial
 
Metamtika teknik 03-bernouli dan pdl-tk1
Metamtika teknik 03-bernouli dan pdl-tk1Metamtika teknik 03-bernouli dan pdl-tk1
Metamtika teknik 03-bernouli dan pdl-tk1
 

Andere mochten auch

Tautologi, Kontradiksi, Kontingensi, Konvers, Invers, Kontrapositif, Pernyata...
Tautologi, Kontradiksi, Kontingensi, Konvers, Invers, Kontrapositif, Pernyata...Tautologi, Kontradiksi, Kontingensi, Konvers, Invers, Kontrapositif, Pernyata...
Tautologi, Kontradiksi, Kontingensi, Konvers, Invers, Kontrapositif, Pernyata...Emira 'bishae'
 
Soal pilihan ganda tautologi, ekivalen dan kontradiksi
Soal pilihan ganda tautologi, ekivalen dan kontradiksiSoal pilihan ganda tautologi, ekivalen dan kontradiksi
Soal pilihan ganda tautologi, ekivalen dan kontradiksiAnderzend Awuy
 
Makalah logika matematika
Makalah logika matematikaMakalah logika matematika
Makalah logika matematikaNasifah LasMana
 
Ekuivalensi logika
Ekuivalensi logikaEkuivalensi logika
Ekuivalensi logikarizqitohopi
 
Matematika Penarikan Kesimpulan Kelas X SMA/MA
Matematika Penarikan Kesimpulan Kelas X SMA/MAMatematika Penarikan Kesimpulan Kelas X SMA/MA
Matematika Penarikan Kesimpulan Kelas X SMA/MAocongarif
 
Penarikan Kesimpulan
Penarikan KesimpulanPenarikan Kesimpulan
Penarikan KesimpulanTARSUDINN
 
Uji hipotesis deskriptif non parametris
Uji hipotesis deskriptif non parametrisUji hipotesis deskriptif non parametris
Uji hipotesis deskriptif non parametrisPrima37
 
Perkembangan pendidikan kewarganegaraan
Perkembangan pendidikan kewarganegaraanPerkembangan pendidikan kewarganegaraan
Perkembangan pendidikan kewarganegaraanMus Lih
 
Logika Matematika; Penarikan Kesimpulan
Logika Matematika; Penarikan KesimpulanLogika Matematika; Penarikan Kesimpulan
Logika Matematika; Penarikan KesimpulanMaya Sy
 
956 Sukatan Pelajaran Matematik Lanjutan STPM (Baharu)
956 Sukatan Pelajaran Matematik Lanjutan STPM (Baharu)956 Sukatan Pelajaran Matematik Lanjutan STPM (Baharu)
956 Sukatan Pelajaran Matematik Lanjutan STPM (Baharu)RAMLAH BINTI A. RANI
 
Soal logika-matematika
Soal logika-matematikaSoal logika-matematika
Soal logika-matematikaRafli Nugraha
 
Makalah statistika
Makalah statistikaMakalah statistika
Makalah statistikaNida Hilya
 
Subjek dan objek pendidikan
Subjek dan objek pendidikanSubjek dan objek pendidikan
Subjek dan objek pendidikanDewi Bahagia
 
Matematika Diskrit - 08 kombinatorial - 03
Matematika Diskrit - 08 kombinatorial - 03Matematika Diskrit - 08 kombinatorial - 03
Matematika Diskrit - 08 kombinatorial - 03KuliahKita
 
Bab 01 logika mtk diskrit
Bab 01 logika mtk diskritBab 01 logika mtk diskrit
Bab 01 logika mtk diskritKarlFykr
 

Andere mochten auch (19)

Tautologi, Kontradiksi, Kontingensi, Konvers, Invers, Kontrapositif, Pernyata...
Tautologi, Kontradiksi, Kontingensi, Konvers, Invers, Kontrapositif, Pernyata...Tautologi, Kontradiksi, Kontingensi, Konvers, Invers, Kontrapositif, Pernyata...
Tautologi, Kontradiksi, Kontingensi, Konvers, Invers, Kontrapositif, Pernyata...
 
Soal pilihan ganda tautologi, ekivalen dan kontradiksi
Soal pilihan ganda tautologi, ekivalen dan kontradiksiSoal pilihan ganda tautologi, ekivalen dan kontradiksi
Soal pilihan ganda tautologi, ekivalen dan kontradiksi
 
Makalah logika matematika
Makalah logika matematikaMakalah logika matematika
Makalah logika matematika
 
Ekuivalensi logika
Ekuivalensi logikaEkuivalensi logika
Ekuivalensi logika
 
Logika Matematika
Logika MatematikaLogika Matematika
Logika Matematika
 
Matematika Penarikan Kesimpulan Kelas X SMA/MA
Matematika Penarikan Kesimpulan Kelas X SMA/MAMatematika Penarikan Kesimpulan Kelas X SMA/MA
Matematika Penarikan Kesimpulan Kelas X SMA/MA
 
logika matematika
logika matematikalogika matematika
logika matematika
 
Penarikan Kesimpulan
Penarikan KesimpulanPenarikan Kesimpulan
Penarikan Kesimpulan
 
Uji hipotesis deskriptif non parametris
Uji hipotesis deskriptif non parametrisUji hipotesis deskriptif non parametris
Uji hipotesis deskriptif non parametris
 
Perkembangan pendidikan kewarganegaraan
Perkembangan pendidikan kewarganegaraanPerkembangan pendidikan kewarganegaraan
Perkembangan pendidikan kewarganegaraan
 
Logika Matematika; Penarikan Kesimpulan
Logika Matematika; Penarikan KesimpulanLogika Matematika; Penarikan Kesimpulan
Logika Matematika; Penarikan Kesimpulan
 
956 Sukatan Pelajaran Matematik Lanjutan STPM (Baharu)
956 Sukatan Pelajaran Matematik Lanjutan STPM (Baharu)956 Sukatan Pelajaran Matematik Lanjutan STPM (Baharu)
956 Sukatan Pelajaran Matematik Lanjutan STPM (Baharu)
 
Perkembangan kreativitas
Perkembangan kreativitasPerkembangan kreativitas
Perkembangan kreativitas
 
Soal logika-matematika
Soal logika-matematikaSoal logika-matematika
Soal logika-matematika
 
Makalah ppd ttg kreativitas
Makalah ppd ttg kreativitasMakalah ppd ttg kreativitas
Makalah ppd ttg kreativitas
 
Makalah statistika
Makalah statistikaMakalah statistika
Makalah statistika
 
Subjek dan objek pendidikan
Subjek dan objek pendidikanSubjek dan objek pendidikan
Subjek dan objek pendidikan
 
Matematika Diskrit - 08 kombinatorial - 03
Matematika Diskrit - 08 kombinatorial - 03Matematika Diskrit - 08 kombinatorial - 03
Matematika Diskrit - 08 kombinatorial - 03
 
Bab 01 logika mtk diskrit
Bab 01 logika mtk diskritBab 01 logika mtk diskrit
Bab 01 logika mtk diskrit
 

Mehr von arlanridfan farid

DEFINISI FUNGSI PROPOSISI DAN JENIS JENIS KUANTOR
DEFINISI FUNGSI PROPOSISI DAN JENIS JENIS KUANTORDEFINISI FUNGSI PROPOSISI DAN JENIS JENIS KUANTOR
DEFINISI FUNGSI PROPOSISI DAN JENIS JENIS KUANTORarlanridfan farid
 
Pernyataan dan operasinnya (logika matematika)
Pernyataan dan operasinnya (logika matematika)Pernyataan dan operasinnya (logika matematika)
Pernyataan dan operasinnya (logika matematika)arlanridfan farid
 
ekonomi, koperasi, dan bisnis di indonesia
ekonomi, koperasi, dan bisnis di indonesiaekonomi, koperasi, dan bisnis di indonesia
ekonomi, koperasi, dan bisnis di indonesiaarlanridfan farid
 
Perjuangan mempertahankan dan mengisi kemerdekaan indonesia di masa
Perjuangan mempertahankan dan mengisi kemerdekaan indonesia di masaPerjuangan mempertahankan dan mengisi kemerdekaan indonesia di masa
Perjuangan mempertahankan dan mengisi kemerdekaan indonesia di masaarlanridfan farid
 
Masyarakat desa dan masyarakat perkotaan
Masyarakat desa dan masyarakat perkotaanMasyarakat desa dan masyarakat perkotaan
Masyarakat desa dan masyarakat perkotaanarlanridfan farid
 
Ppt evaluasi-kurikulum-kel.-1
Ppt evaluasi-kurikulum-kel.-1Ppt evaluasi-kurikulum-kel.-1
Ppt evaluasi-kurikulum-kel.-1arlanridfan farid
 
Konsep perkembangan dalam konstelasi
Konsep perkembangan dalam konstelasiKonsep perkembangan dalam konstelasi
Konsep perkembangan dalam konstelasiarlanridfan farid
 

Mehr von arlanridfan farid (9)

DEFINISI FUNGSI PROPOSISI DAN JENIS JENIS KUANTOR
DEFINISI FUNGSI PROPOSISI DAN JENIS JENIS KUANTORDEFINISI FUNGSI PROPOSISI DAN JENIS JENIS KUANTOR
DEFINISI FUNGSI PROPOSISI DAN JENIS JENIS KUANTOR
 
Pernyataan dan operasinnya (logika matematika)
Pernyataan dan operasinnya (logika matematika)Pernyataan dan operasinnya (logika matematika)
Pernyataan dan operasinnya (logika matematika)
 
ekonomi, koperasi, dan bisnis di indonesia
ekonomi, koperasi, dan bisnis di indonesiaekonomi, koperasi, dan bisnis di indonesia
ekonomi, koperasi, dan bisnis di indonesia
 
Perjuangan mempertahankan dan mengisi kemerdekaan indonesia di masa
Perjuangan mempertahankan dan mengisi kemerdekaan indonesia di masaPerjuangan mempertahankan dan mengisi kemerdekaan indonesia di masa
Perjuangan mempertahankan dan mengisi kemerdekaan indonesia di masa
 
Masyarakat desa dan masyarakat perkotaan
Masyarakat desa dan masyarakat perkotaanMasyarakat desa dan masyarakat perkotaan
Masyarakat desa dan masyarakat perkotaan
 
Ppt evaluasi-kurikulum-kel.-1
Ppt evaluasi-kurikulum-kel.-1Ppt evaluasi-kurikulum-kel.-1
Ppt evaluasi-kurikulum-kel.-1
 
Materi dan perubahannya
Materi dan perubahannyaMateri dan perubahannya
Materi dan perubahannya
 
Globalisasi
GlobalisasiGlobalisasi
Globalisasi
 
Konsep perkembangan dalam konstelasi
Konsep perkembangan dalam konstelasiKonsep perkembangan dalam konstelasi
Konsep perkembangan dalam konstelasi
 

Kürzlich hochgeladen

Do's and Don'ts für mobile Streamsetups - Beitrag zum #ScienceVideoCamp2024 d...
Do's and Don'ts für mobile Streamsetups - Beitrag zum #ScienceVideoCamp2024 d...Do's and Don'ts für mobile Streamsetups - Beitrag zum #ScienceVideoCamp2024 d...
Do's and Don'ts für mobile Streamsetups - Beitrag zum #ScienceVideoCamp2024 d...Mathias Magdowski
 
Kurzbeschreibung Schreibtools für die Toolbox.pdf
Kurzbeschreibung Schreibtools für die Toolbox.pdfKurzbeschreibung Schreibtools für die Toolbox.pdf
Kurzbeschreibung Schreibtools für die Toolbox.pdfHenning Urs
 
Dignitas Infinita - MENSCHENWÜRDE; Erklärung des Dikasteriums für die Glauben...
Dignitas Infinita - MENSCHENWÜRDE; Erklärung des Dikasteriums für die Glauben...Dignitas Infinita - MENSCHENWÜRDE; Erklärung des Dikasteriums für die Glauben...
Dignitas Infinita - MENSCHENWÜRDE; Erklärung des Dikasteriums für die Glauben...Martin M Flynn
 
Ein Telefongespräch. Ein Telefongespräch. Ein Telefongespräch
Ein Telefongespräch. Ein Telefongespräch. Ein TelefongesprächEin Telefongespräch. Ein Telefongespräch. Ein Telefongespräch
Ein Telefongespräch. Ein Telefongespräch. Ein TelefongesprächOlenaKarlsTkachenko
 
Presentation Endstation Dingden, Razzia von Rotterdam
Presentation Endstation Dingden, Razzia von RotterdamPresentation Endstation Dingden, Razzia von Rotterdam
Presentation Endstation Dingden, Razzia von RotterdamEus van Hove
 
Stadt Popasna.Stadt PopasnaStadt Popasna
Stadt Popasna.Stadt PopasnaStadt PopasnaStadt Popasna.Stadt PopasnaStadt Popasna
Stadt Popasna.Stadt PopasnaStadt PopasnaOlenaKarlsTkachenko
 

Kürzlich hochgeladen (7)

Do's and Don'ts für mobile Streamsetups - Beitrag zum #ScienceVideoCamp2024 d...
Do's and Don'ts für mobile Streamsetups - Beitrag zum #ScienceVideoCamp2024 d...Do's and Don'ts für mobile Streamsetups - Beitrag zum #ScienceVideoCamp2024 d...
Do's and Don'ts für mobile Streamsetups - Beitrag zum #ScienceVideoCamp2024 d...
 
Kurzbeschreibung Schreibtools für die Toolbox.pdf
Kurzbeschreibung Schreibtools für die Toolbox.pdfKurzbeschreibung Schreibtools für die Toolbox.pdf
Kurzbeschreibung Schreibtools für die Toolbox.pdf
 
Dignitas Infinita - MENSCHENWÜRDE; Erklärung des Dikasteriums für die Glauben...
Dignitas Infinita - MENSCHENWÜRDE; Erklärung des Dikasteriums für die Glauben...Dignitas Infinita - MENSCHENWÜRDE; Erklärung des Dikasteriums für die Glauben...
Dignitas Infinita - MENSCHENWÜRDE; Erklärung des Dikasteriums für die Glauben...
 
Ein Telefongespräch. Ein Telefongespräch. Ein Telefongespräch
Ein Telefongespräch. Ein Telefongespräch. Ein TelefongesprächEin Telefongespräch. Ein Telefongespräch. Ein Telefongespräch
Ein Telefongespräch. Ein Telefongespräch. Ein Telefongespräch
 
Díptic PFI pfi pfi pfi pfi pfi pfi pf.pdf
Díptic PFI pfi pfi pfi pfi pfi pfi pf.pdfDíptic PFI pfi pfi pfi pfi pfi pfi pf.pdf
Díptic PFI pfi pfi pfi pfi pfi pfi pf.pdf
 
Presentation Endstation Dingden, Razzia von Rotterdam
Presentation Endstation Dingden, Razzia von RotterdamPresentation Endstation Dingden, Razzia von Rotterdam
Presentation Endstation Dingden, Razzia von Rotterdam
 
Stadt Popasna.Stadt PopasnaStadt Popasna
Stadt Popasna.Stadt PopasnaStadt PopasnaStadt Popasna.Stadt PopasnaStadt Popasna
Stadt Popasna.Stadt PopasnaStadt Popasna
 

Tabel Kebenaran pernyataan, Tautologi, kontradiksi, dan kontingen

  • 1. KELOMPOK 2 ARLAN RIDFAN FARID 15.22.1.0122 EVA RATIFAH 15.22.1.0109 MIDA SITI A.B 15.22.1.0142 YENI KURNIATI 15.22.1.0099 TABEL KEBENARAN PERNYATAAN (TAUTOLOGI, KONTRADIKSI DAN KONTINGEN)
  • 2. TABEL KEBENARAN PERNYATAAN Tabel kebenaran ialah suatu tabel yang memuat nilai kebenaran pernyataan- pernyataan majemuk. Rumus tabel kebenaran: ket: hasil kali di bagi 22n
  • 3. Contoh: 1. pᴧq Rumus: 22 = 4/2 = 2 2. (pᴧq) →r Rumus: 23 = 8/2 = 4 p q pᴧq B B B B S S S B S S S S p q r pᴧq (pᴧq) →r B B B B B B B S B S B S B S S B S S S B S B B S S S B S S B S S B S S S S S S B
  • 4. a). Tabel konjungsi b). Disjungsi c). Implikasi d) Biimplikasi p q pᴧq B B B B S S S B S S S S p q pᴠq B B B B S B S B B S S S p Q P→q B B B B S S S B B S S B p q P↔q B B B B S S S B S S S B
  • 5. 1. TABEL KEBENARAN BIASA CONTOH: ~ (p ᴧ q) p q p ᴧ q ~ (p ᴧ q) B B B S B S S B S B S B S S S B
  • 6. 2. TABEL KEBENARAN SINGKAT CONTOH: ~ (p ᴧ q) ~ (p ᴧ q) S B B B B B S S B S S B B S S S
  • 7. TAUTOLOGI, KONTRADIKSI DAN KONTINGEN 1.Tautologi Pernyataan yang semua nilai kebenarannya B tanpa memandang nilai kebenaran komponen- komponen pembentukannya. Contoh: (p ᴧ q) → q p q (p ᴧ q) (p ᴧ q) → q B B B B B S S B S B S B S S S B
  • 8. 2. Kontradiksi Pernyataan yang seluruh nilai kebenarannya S tanpa memandang nilai kebenaran komponen- komponen penyusunnya. Contoh: pᴧ (~p ᴧ q) p q ~p (~p ᴧ q) pᴧ (~p ᴧ q) B B S S S B S S S S S B B B S S S B S S
  • 9. 3. Kontingen Pernyataan yang nilai kebenarannya merupakan kumpulan dari nilai B dan S, di luar tautologi dan kontradiksi. Contoh: (p → q) ᴧ ~q p q (p→q) ~q (p→q)ᴧ ~q B B B S S B S S B S S B B S S S S B B B