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?

Relasi dan Hasil Kali Cartesius
Relasi dan Hasil Kali CartesiusRelasi dan Hasil Kali Cartesius
Relasi dan Hasil Kali CartesiusEman Mendrofa
 
Transformasi Linear ( Aljabar Linear Elementer )
Transformasi Linear ( Aljabar Linear Elementer )Transformasi Linear ( Aljabar Linear Elementer )
Transformasi Linear ( Aljabar Linear Elementer )Kelinci Coklat
 
Sistem Persamaan Linear (SPL) Aljabar Linear Elementer
Sistem Persamaan Linear (SPL) Aljabar Linear ElementerSistem Persamaan Linear (SPL) Aljabar Linear Elementer
Sistem Persamaan Linear (SPL) Aljabar Linear ElementerKelinci Coklat
 
Matematika Diskrit kombinatorial
Matematika Diskrit  kombinatorialMatematika Diskrit  kombinatorial
Matematika Diskrit kombinatorialSiti Khotijah
 
Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...
Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...
Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...Fatma Qolbi
 
Penyederhanaan Karnaugh Map
Penyederhanaan Karnaugh MapPenyederhanaan Karnaugh Map
Penyederhanaan Karnaugh MapCheria Asyifa
 
Graf ( Matematika Diskrit)
Graf ( Matematika Diskrit)Graf ( Matematika Diskrit)
Graf ( Matematika Diskrit)zachrison htg
 
Proposisi Logika Matematika
Proposisi Logika MatematikaProposisi Logika Matematika
Proposisi Logika MatematikaTaufik_Yui
 
Algoritma Pemrograman (Flowchart) - Logika dan Algoritma
Algoritma Pemrograman (Flowchart) - Logika dan AlgoritmaAlgoritma Pemrograman (Flowchart) - Logika dan Algoritma
Algoritma Pemrograman (Flowchart) - Logika dan AlgoritmaAri Septiawan
 
Matematika Diskrit Relasi Rekursif
Matematika Diskrit Relasi RekursifMatematika Diskrit Relasi Rekursif
Matematika Diskrit Relasi RekursifAyuk Wulandari
 
powerpoint logika matematika
powerpoint logika matematikapowerpoint logika matematika
powerpoint logika matematikaSuryo Wedo Susilo
 
Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Meycelino A. T
 
Operator logika dan proposisi majemuk
Operator logika dan proposisi majemukOperator logika dan proposisi majemuk
Operator logika dan proposisi majemukDantik Puspita
 
Pertemuan 02 teori dasar himpunan
Pertemuan 02   teori dasar himpunanPertemuan 02   teori dasar himpunan
Pertemuan 02 teori dasar himpunanFajar Istiqomah
 

Was ist angesagt? (20)

Bilangan kompleks
Bilangan kompleksBilangan kompleks
Bilangan kompleks
 
Fungsi Pembangkit
Fungsi PembangkitFungsi Pembangkit
Fungsi Pembangkit
 
Relasi dan Hasil Kali Cartesius
Relasi dan Hasil Kali CartesiusRelasi dan Hasil Kali Cartesius
Relasi dan Hasil Kali Cartesius
 
Transformasi Linear ( Aljabar Linear Elementer )
Transformasi Linear ( Aljabar Linear Elementer )Transformasi Linear ( Aljabar Linear Elementer )
Transformasi Linear ( Aljabar Linear Elementer )
 
Sistem Persamaan Linear (SPL) Aljabar Linear Elementer
Sistem Persamaan Linear (SPL) Aljabar Linear ElementerSistem Persamaan Linear (SPL) Aljabar Linear Elementer
Sistem Persamaan Linear (SPL) Aljabar Linear Elementer
 
02.logika
02.logika02.logika
02.logika
 
Matematika Diskrit kombinatorial
Matematika Diskrit  kombinatorialMatematika Diskrit  kombinatorial
Matematika Diskrit kombinatorial
 
Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...
Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...
Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...
 
Penyederhanaan Karnaugh Map
Penyederhanaan Karnaugh MapPenyederhanaan Karnaugh Map
Penyederhanaan Karnaugh Map
 
Graf ( Matematika Diskrit)
Graf ( Matematika Diskrit)Graf ( Matematika Diskrit)
Graf ( Matematika Diskrit)
 
Proposisi Logika Matematika
Proposisi Logika MatematikaProposisi Logika Matematika
Proposisi Logika Matematika
 
Analisis real-lengkap-a1c
Analisis real-lengkap-a1cAnalisis real-lengkap-a1c
Analisis real-lengkap-a1c
 
Bab 3 logika matematika
Bab 3 logika matematikaBab 3 logika matematika
Bab 3 logika matematika
 
Algoritma Pemrograman (Flowchart) - Logika dan Algoritma
Algoritma Pemrograman (Flowchart) - Logika dan AlgoritmaAlgoritma Pemrograman (Flowchart) - Logika dan Algoritma
Algoritma Pemrograman (Flowchart) - Logika dan Algoritma
 
Matematika Diskrit Relasi Rekursif
Matematika Diskrit Relasi RekursifMatematika Diskrit Relasi Rekursif
Matematika Diskrit Relasi Rekursif
 
Bab 4 aljabar boolean
Bab 4 aljabar booleanBab 4 aljabar boolean
Bab 4 aljabar boolean
 
powerpoint logika matematika
powerpoint logika matematikapowerpoint logika matematika
powerpoint logika matematika
 
Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)
 
Operator logika dan proposisi majemuk
Operator logika dan proposisi majemukOperator logika dan proposisi majemuk
Operator logika dan proposisi majemuk
 
Pertemuan 02 teori dasar himpunan
Pertemuan 02   teori dasar himpunanPertemuan 02   teori dasar himpunan
Pertemuan 02 teori dasar himpunan
 

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
 
Bab 01 logika mtk diskrit
Bab 01 logika mtk diskritBab 01 logika mtk diskrit
Bab 01 logika mtk diskritKarlFykr
 

Andere mochten auch (18)

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
 
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
 

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