LOGIKA INFORMATIKA

Tautologi, Kontrakdiksi dan Contingent

1
Outline Perkuliahan
 Tautologi
 Kontradiksi
 Contingent

2
A. Tautologi

Tautologi adalah pernyataan yang selalu memiliki hasil bernilai

benar.

Tautologi adalah suatu ekspresi logika yang selalu bernilai benar di

dalam tabel kebenarannya, tanpa memperdulikan nilai-nilai
kebenaran dari proposisi-proposisi yang berada di dalamnya..

 Tautologi juga merupakan pernyataan majemuk.

3
A. Tautologi ...... lanjutan
Contoh :
SBY adalah presiden RI atau SBY bukan presiden RI

Contoh diatas akan selalu memiliki nilai kebenaran “True” tidak

bergantung pada apakah SBY masih presiden atau tidak lagi
sebagai presiden.

Jika digunakan kalimat proposisi :

p : SBY presiden RI
~p : SBY bukan presiden RI

Maka pernyataan berbentuk Disjungsi : p ᴠ ~p

4
A. Tautologi ...... lanjutan
Pernyataan : p ᴠ ~p disusun dalam tabel kebenaran :

Setiap pernyataan yang bernilai benar, untuk setiap nilai

kebenaran komponen-komponennya, disebut Tautologi

5
A. Tautologi ......lanjutan
Contoh :
Buktikan menggunakan tabel kebenaran bahwa ekspresi
logika : p ᴠ ~(p ᴧ q) adalah Tautologi

Hasilnya :

Tautologi

6
B. Kontradiksi

Kontrakdiksi merupakan kebalikan dari Tautologi.

Kontrakdiksi adalah ekspresi logika yang selalu bernilai salah.
Kontrakdiksi adalah ingkaran (negasi) dari Tautologi

Contoh :
Jika digunakan kalimat proposisi :
p : Saat ini SBY presiden RI
~p : Saat ini SBY bukan presiden RI

Maka pernyataan berbentuk Konjungsi : p ᴧ ~p

7
B. Kontrakdiksi ...... lanjutan
Pernyataan : p ᴧ ~p disusun dalam tabel kebenaran :

kontradiksi

8
B. Kontrakdiksi ......lanjutan
Contoh :
Buktikan menggunakan tabel kebenaran bahwa ekspresi
logika : (p ᴧ q) ᴧ ~(p ᴠ q) adalah Kontradiksi

Hasilnya :

Kontradiksi

9
C. Kontingensi

Kontrakdiksi atau Contingent adalah suatu ekspresi logika yang

mempunyai nilai benar dan salah di dalam tabel kebenarannya,
tanpa memperdulikan nilai kebenaran dari proposisi-proposisi yang
berada didalamnya.

10
C. Kontingensi ......lanjutan
Contoh :
Buktikan dengan menggunakan tabel kebenaran bahwa
ekspresi logika ((p ᴧ q) → r) →p adalah Kontingensi :
Perhatikan!
Ekspresi logika diatas menggunakan 3
Hasilnya : variabel proposisi, maka akan ada 8 baris
kombinasi nilai kebenaran untuk setiap
variabel proposisi tersebut.

Kontengensi

11
 LOGIKA INFORMATIKA

Konvers, Invers dan Kontraposisi

12
 Konvers, Invers dan Kontraposisi adalah bentuk lain dari
ekspresi logika implikasi ( jika...maka )
 Bentuk implikasi adalah p → q, maka perhatikan bentuk
konvers, invers dan kotradiksi berikut ini :
 Konvers :q→p
 Invers : ¬p → ¬q
 Kontraposisi : ¬q → ¬p

13
Perhatikan kalimat pernyataan berikut ini :
“ Jika Amir telah membayar Ongkos Naik Haji, maka ia
menunaikan ibadah haji”

 Konvers : Jika Amir menunaikan ibadah haji, maka ia

telah membayar Ongkos Naik Haji.

 Invers : Jika Amir belum membayar Ongkos Naik

Haji, maka ia belum menunaikan ibadah haji.

 Kontraposisi : Jika Amir tidak menunaikan ibadah haji,

maka ia belum membayar Ongkos Naik Haji.
14
 LOGIKA INFORMATIKA

Ingkaran Konvers, Invers dan Kontraposisi

15
 Ingkaran adalah bentuk negasi dari ekspresi logika.
 Bentuk ingkaran terbagi atas :
• Ingkaran Konvers
• Ingkaran Invers
• Ingkaran Kontraposisi

16
1. Negasi dari Implikasi
 Ingkaran adalah bentuk negasi dari ekspresi logika.
 Bentuk ingkaran terbagi atas :
• Ingkaran Konvers
• Ingkaran Invers
• Ingkaran Kontraposisi

Contoh :
Kalimat pernyataan dengan bentuk ekspresi logika Implikasi
sebagai berikut :
“Jika suatu bendera adalah bendera RI maka bendera tersebut
berwarna merah dan putih.”
Tentukanlah negasi konvers, negasi invers dan negasi
kontraposisi dari kalimat implikasi di atas! 17
Penyelesaian :
p : Suatu bendera adalah bendera RI
q : Bendera tersebut berwarna merah dan putih
Maka ekspresi logika bentuk implikasi dari kalimat
proposisi diatas adalah p → q, bentuk tersebut ukuivalen
(sebanding/≈) dengan ¬p ᴠ q. Sehingga :
1. Negasi dari Implikasi
Implikasi : p → q ≈ ¬p ᴠ q
Negasinya : ¬(p → q) ≈ p ᴧ ¬q
Kalimatnya : “Suatu bendera adalah bendera RI dan
bendera tersebut tidak berwarna merah dan putih”
18
2. Negasi dari Konvers
Konvers : q → p ≈ ¬q ᴠ p
Negasinya : ¬(¬q ᴠ p) ≈ q ᴧ ¬p
Kalimatnya : “Terdapat bendera berwarna merah dan
putih tetapi bendera tersebut bukan bendera RI”

3. Negasi dari Invers

Invers : ¬p → ¬q ≈ ¬(¬p) ᴠ ¬q ≈ p ᴧ ¬q
Negasinya : ¬(p ᴧ ¬q) ≈ ¬p ᴠ q
Kalimatnya : “Suatu bendera bukan bendera RI atau
bendera tersebut berwarna merah dan putih”
19
3. Negasi dari Kontraposisi
Konvers : ¬q → ¬p ≈ ¬(¬q) ᴠ ¬p ≈ q ᴠ ¬p
Negasinya : ¬(q ᴠ ¬p) ≈ ¬q ᴧ p
Kalimatnya : “Suatu bendera tidak berwarna merah dan
putih dan bendera tersebut adalaj bendera RI”

20
LOGIKA INFORMATIKA

Ekuivalensi Logika

21
Ekuivalensi Logika
 Jika dua buah ekspresi logika adalah tautologi, maka
kedua ekspresi logika tersebut ekuivalensi secara logis.
 Sama halnya jika keduanya kontradiksi.
 Pada kontingensi, memiliki semua nilai T dan F. Tetapi
jika urutan T dan F atau sebaliknya pada tabel
kebenaran memiliki urutan yang sama, maka tetap
disebut ekuivalen secara logis.
 Tabel kebenaran merupakan alat untuk membuktiakn
kebenaran ekuivalen secara logis.

22
Contoh :
1. Badu tidak pandai, atau dia tidak jujur.
2. Adalah tidak benar jika Badu pandai dan jujur.
Kedua pernyataan di atas sebenarnya sama, tetapi lebih
tepat jika dibuktikan dengan tabel kebenaran.
Langkah-langkahnya sebagai berikut :
1. Ubah argumen di atas ke dalam bentuk ekspresi logika
p : Badu pandai
q : Badu jujur
Maka kalimatnya menjadi : 1. ¬p ᴠ ¬q
2. ¬(p ᴧ q)
23
2. Buat tabel kebenarannya

3. Tambahkan perangkai biimplikasi

Ekuivalen
secara logis

24
Referensi :
 F. Soesianto dan Djoni Dwijono, Logika Matematika
untuk ilmu Komputer, Penerbit Andi, 2006.

25