RESUME

LOGIKA MATEMATIKA
DISUSUN GUNA MEMENUHI TUGAS MATA KULIAH
MATEMATIKA DISKRIT
DOSEN : AHMAD SYAH, S.Pd.,M.Pd.

DI SUSUN OLEH:
KELOMPOK : VII
NAMA ANGGOTA/NPM :
1. NUR HIDAYAH / 2021103001
2. NURCAHYANI / 2021103015

FAKULTAS KEGURUAN DAN ILMU PENDIDIKAN

PRODI PENDIDIKAN MATEMATIKA
TAHUN 2022/2023
 PENDAHULUAN
LOGIKA MATEMATIKA

1. Pengertian Tautologi
Tautologi adalah pernyataan majemuk yang selalu bernilai benar (B) dalam setiap
kasus (segala kondisi).
2. Pengertian Kontradiksi
Kontradiksi adalah pernyataan majemuk yang selalu bernilai salah (S) dalam setiap
kasus (segala kondisi).
3. Pengertian Kontigensi
Kontigensi adalah pernyataan majemuk yang tidak selalu BENAR dan tidak selalu
bernilai SALAH (bukan tautologi dan bukan kontradiksi). Artinya dalam kontigensi,
nilai kebenarannya sekaligus memuat BENAR dan SALAH.
4. Pengertian Ekuivalensi
Ekuivalensi adalah dua atau lebih pernyataan majemuk yang memiliki nilai
kebenaran yang sama.
 MATERI
A. Tautologi
Tautologi adalah pernyataan majemuk yang selalu bernilai benar (B) dalam setiap
kasus (segala kondisi).
Contoh Soal:
1. Tunjukkan bahwa pernyataan majemuk ( p → q ¿ V p adalah
tautologi!
Penyelesaian :
Ada dua penyataan tunggal yaitu p dan q.
Sehingga banyak baris tabel kebenarannnya yaitu 22 = 4 baris.
Berikut tabel kebenarannya :
P q q p →q ( p →q ) V p

B B S B B Nilai kebenaran dari

pernyataan ( p → q ¿ V
B S S B B
p adalah BBBB
S B B B B (semuanya BENAR),
sehingga pernyataan ( p
S S B S B
→q¿ V p adalah

tautologi.
2. Buktikan bahwa pernyataan majemuk [(p→ q ¿ ᴧ p]→ q adalah tautologi!
Penyelesaian :
Ada dua penyataan tunggal yaitu p dan q.
Sehingga banyak baris tabel kebenarannnya yaitu 22 = 4 baris.
Berikut tabel kebenarannya :
P q p →q ( p →q ) ᴧ p [(p→ q ¿ ᴧ p]→ q

B B B B B

B S S S B

S B B S B

S S B S B
 Nilai kebenaran dari pernyataan [(p→ q ¿ ᴧ p]→ q adalah BBBB (semuanya
BENAR), sehingga pernyataan [(p→ q ¿ ᴧ p]→ q adalah tautologi.
3. Buktikan bahwa pernyataan majemuk ( p V q ) V (r → q) adalah tautologi!
Penyelesaian :
Ada tiga penyataan tunggal yaitu p, q, dan r.
Sehingga banyak baris tabel kebenarannnya yaitu 32 = 8 baris.
Berikut tabel kebenarannya :
Misalkan X = ( p V q ) dan Y = (r → q)

p q r q pV q r→ q XVY

B B B S B S B

B B S S B B B

B S B B B B B

B S S B B B B

S B B S B S B

S B S S B B B

S S B B S B B

S S S B S B B

Nilai kebenaran dari pernyataan

( p V q ) V (r → q) adalah BBBBBBBB
(Semuanya BENAR), sehingga pernyataan
( p V q ) V (r → q) adalah tautologi.
B. Kontradiksi
Kontradiksi adalah pernyataan majemuk yang selalu bernilai salah (S) dalam
setiap kasus (segala kondisi).
Contoh Soal:
1. Buktikan bahwa pernyataan majemuk ( p→ q ) ᴧ p adalah kontradiksi!
Penyelesaian :
Ada dua penyataan tunggal yaitu p dan q.
 Sehingga banyak baris tabel kebenarannnya yaitu 22 = 4 baris.
Berikut tabel kebenarannya :
P q p p →q ( p→ q ) ( p→ q ) ᴧ p Nilai
kebenaran
B B S B S S
dari
B S S B S S pernyataan

S B B B S S

S S B S B S

( p→ q ) ᴧ p adalah SSSS (semuanya SALAH), sehingga pernyataan ( p→ q ) ᴧ p adalah

kontradiksi.
2. Buktikan bahwa pernyataan majemuk ( pᴧq ) ᴧ ( pᴧ q ) adalah kontradiksi!
Penyelesaian :
Ada dua penyataan tunggal yaitu p dan q.
Sehingga banyak baris tabel kebenarannnya yaitu 22 = 4 baris.
Berikut tabel kebenarannya :
P q p q ( pq ) ( p q) ( pᴧq ) ᴧ ( pᴧ q ) Nilai
kebenaran
B B S S S S S
dari
B S S B S S S pernyataan

S B B S B S S

S S B B S B S

( pᴧq ) ᴧ ( pᴧ q ) adalah SSSS (semuanya SALAH), sehingga pernyataan ( pᴧq ) ᴧ ( pᴧ q )

adalah kontradiksi.
C. Kontigensi
Kontigensi adalah pernyataan majemuk yang tidak selalu BENAR dan tidak selalu
bernilai SALAH (bukan tautologi dan bukan kontradiksi). Artinya dalam
kontigensi, nilai kebenarannya sekaligus memuat BENAR dan SALAH.
Contoh Soal:
1. Buktikan bahwa pernyataan majemuk ( p ᴧ q ) ↔ p adalah kontigensi!
Penyelesaian :
Ada dua penyataan tunggal yaitu p dan q.
 Sehingga banyak baris tabel kebenarannnya yaitu 22 = 4 baris.
Berikut tabel kebenarannya :
P q p ᴧq ( p ᴧ q) ↔ p

B B B B

B S S B

S B S S

S S S B

Nilai kebenaran dari pernyataan ( p ᴧ q ) ↔ p adalah BBSB (tidak semuanya

BENAR dan tidak semuanya SALAH), sehingga pernyataan ( p ᴧ q ) ↔ p adalah
kontigensi.
2. Buktikan bahwa pernyataan majemuk ( p V q ) ↔ ( p → r ) adalah kontigensi!
Penyelesaian :
Ada tiga penyataan tunggal yaitu p, q, dan r.
Sehingga banyak baris tabel kebenarannnya yaitu 32 = 8 baris.
Berikut tabel kebenarannya :
Misalkan X = ( p V q ) dan Y = ( p → r )

p q r p r pV q p→ r X ↔Y

B B B S S B S S

B B S S B B B B

B S B S S S S B

B S S S B S B S

S B B B S B B B

S B S B B B B B

S S B B S B B B

S S S B B B B B
 Nilai kebenaran dari pernyataan ( p V q ) ↔ ( p → r ) adalah SBBSBBBB
(tidak semuanya BENAR dan tidak semuanya SALAH), sehingga pernyataan
( p V q ) ↔ ( p → r ) adalah kontigensi.
D. Ekuivalensi
Ekuivalensi adalah dua atau lebih pernyataan majemuk yang memiliki nilai
kebenaran yang sama.
1. Buktikan bahwa pernyataan majemuk ( p V q ) ↔ ( p → r ) adalah ekuivalensi!
Tabel kebenarannya :
P q p p ⇒q p Vq

B B S B B

B S S S S

S B B B B

S S B B B

Ekuivalen

Nampak bahwa nilai kebenaran p⇒q

Sama dengan nilai kebenaran p V q .

2. Pernyataan yang ekuivalen dengan pernyataan “jika semua siswa hadir, maka
beberapa guru tidak hadir” adalah…
a. Semua siswa tidak hadir atau beberapa guru tidak hadir
b. Beberapa siswa tidak hadir atau beberapa guru tidak hadir.
Penyelesaian :
Misalkan proposisi dari premis dan soal di simbolkan dalam huruf p dan q
seperti berikut.
 p = semua siswa hadir
 q = beberapa guru tidak hadir
Negasi dari kedua proposisi tunggal di atas adalah :
 p = beberapa siswa tidak hadir
 q = semua guru hadir
Pernyataan : p→ q
Salah satu bentuk pernyataan yang ekuivalen dengan p → q
Pernyataan yang sesuai dengan ekspresi logika pV q ; jika
semua siswa hadir, maka beberapa guru tidak hadir” adalah “
beberapa siswa tidak hadir atau beberapa guru tidak hadir.
Jadi, jika semua siswaa hadir, maka beberapa guru tidak hadir”
adalah” beberapa siswa tidak hadir atau beberapa guru tidak
hadir”
Jadi, jawabannya adalah B.

KESIMPULAN
Pada logika matematika terdapat tautology, kontradiksi, kontigensi dan ekuivalensi.

Adapun yang dimaksud dengan Tautologi adalah pernyataan majemuk yang selalu bernilai
BENAR. Kontradiksi adalah pernyataan majemuk yang selalu bernilai SALAH. Kontigensi
adalah pernyataan majemuk yang tidak selalu bernilai BENAR dan tidak selalu bernilai
SALAH. Sedangkan ekuivalensi adalah dua pernyataan dikatakan setara atau sama jika
memiliki nilai kebenaran yang sama (ekuivalen).