Konjungsi, Disjungsi, Implikasi dan Biimplikasi

Dalam ilmu logika informatika dikenal yang namanya kalimat majemuk. Kalimat majemuk
adalah sebuah kalimat yang tersusun dari dua kalimat atau lebih dan dengan menggunakan kata
hubung tertentu. Ada beberapa jenis kalimat majemuk di antaranya adalah sebagai berikut;

1. KONJUNGSI
Konjungsi adalah suatu kalimat majemuk yang menggunakan kata hubung "DAN" / "AND".
Notasinya adalah "^".

contoh kalimat 1:
premis 1(p): Andi adalah seorang mahasiswa. (BENAR)
premis 2(q): Andi adalah seorang karyawan perusahaan swasta. (BENAR)
konjungsi(p^q): Andi adalah seorang mahasiswa dan karyawan perusahaan swasta. (BENAR)

contoh kalimat 2:
premis 1(p): Ayam adalah unggas. (BENAR)
premis 2(q): Burung kutilang adalah mamalia. (SALAH)
konjungsi(p^q): Ayam adalah unggas dan burung kutilang adalah mamalia. (SALAH)

Tabel kebenaran dari konjungsi:

Catatan: Konjungsi baru bernilai benar apabila kedua premis bernilai benar. Jika salah satu atau
kedua premis bernilai salah maka nilai pernyataan / kalimat tersebut salah.

2. DISJUNGSI
Disjungsi adalah suatu kalimat majemuk yang menggunakan kata hubung "ATAU" / "OR".
Notasinya adalah "v".

contoh kalimat disjungsi 1:

premis 1(p): Dalam pelajaran TIK, siswa menggunakan komputer sekolah. (BENAR)
premis 2(q): Dalam pelajaran TIK, siswa boleh membawa laptop sendiri. (BENAR)
disjungsi(pvq): Dalam pelajaran TIK, siswa boleh menggunakan komputer sekolah ataumembawa
laptop sendiri. (BENAR)

contoh kalimat disjungsi 1:

premis 1(p): Air adalah benda cair. (BENAR)
premis 2(q): Es adalah air yang mendidih. (SALAH)
disjungsi(pvq): Air adalah benda cair atau es adalah air yang mendidih. (BENAR)

Tabel kebenaran dari disjungsi

catatan: Disjungsi bernilai salah apabila kedua premis pembentuknya bernilai salah. Jika salah satu
atau kedua premis bernilai benar maka disjungsi bernilai benar.

3. IMPLIKASI
Implikasi adalah kalimat majemuk yang menggunakan kata hubung "JIKA" p "MAKA" q. Implikasi
disebut juga kalimat bersyarat tunggal artinya jika kalimat p bernilai benar maka kalimat q pun akan
bernilai benar juga. Notasi dari implikasi adalah "=>"

p => q dapat dibaca dengan beberapa cara, di antaranya:

- Jika p maka q.
- q jika p.
- p adalah syarat yang cukup untuk q.
- q adalah syarat yang diperlukan untuk p.

Contoh implikasi 1:
premis 1(p): Anita kuliah di Universitas Binadarma. (BENAR)
premis 2(q): Anita adalah mahasiswa. (BENAR)
implikasi(p=>q): Jika Anita kuliah di Universitas Binadarma maka Anita adalah
mahasiswa. (BENAR)
  
Contoh implikasi 2:
premis 1(p): 2+2=7. (SALAH)
premis 2(q): 6x2=12. (BENAR)
implikasi(p=>q): Jika 2+2=7 maka 6x2=12. (BENAR)

Contoh implikasi 3:
premis 1(p): Bumi itu bulat. (BENAR)
premis 2(q): Bulan berbentuk prisma. (SALAH)
implikasi(p=>q): Jika bumi itu bulat maka bulan berbentuk prisma. (SALAH)

Tabel kebenaran implikasi:

catatan: Implikasi baru bernilai salah bila nilai dari pernyataan (q) setelah kata "maka" bernilai
salah. Ini disebabkan pernyataan setelah "maka" adalah kesimpulan dari kalimat majemuk tersebut.
4. BIIMPLIKASI
Biimplikasi merupakan kalimat bersyarat ganda. Biimplikasi menggunakan kata hubung JIKA DAN
HANYA JIKA. Notasinya: "<=>"

Untuk lebih memahami biimplikasi, perhatikan kalimat berikut:

"Jika saya sakit maka saya tidak berangkat kuliah."

Apakah saya tidak berangkat kuliah hanya jika dikarenakan saya sakit saja? Tidak. Banyak alasan lain
selain sakit yang menyebabkan saya tidak berangkat kuliah. Bisa karena keperluan keluarga, cuti, hari
libur, hari hujan dan lain sebagainya. Ini menandakan bahwa kalimat di atas adalah implikasi bukan
biimplikasi.

kalimat selanjutnya.

"Jika nilai ujian matematika saya lebih dari 7.50 maka saya lulus."

Apakah saya bisa lulus selain jika nilai matematika saya lebih dari 7.50? Tidak. Satu-satunya syarat
kelulusan adalah bila nilai ujiannya lebih dari 7.50. Inilah yang disebut biimplikasi.

Tabel kebenaran biimplikasi:

Biimplikasi equivalen (senilai) dengan jika p maka q dan jika q maka p;

p<=>q ≡ (p=>q)^(q=>p)
tabel kebenaran:
 TAUTOLOGI, KONTRADIKSI DAN EKUIVALEN
TAUTOLOGI
Tautologi adalah pernyataan majemuk yang selalu bernilai benar.
contoh pernyataan tautologi adalah:
(p ʌ q) => q
untuk membuktikan pernyataan diatas adalah tautologi, simak tabel kebenaran untuk tautologi
(p ʌ q) => q berikut;

contoh tabel kebenaran tautologi

contoh lain pernyataan tautologi adalah:

a. ((p => q) ʌ (r => q)) => ((p v r) =>q
b. (p ʌ  ~q) => p

KONTRADIKSI
Kontradiksi adalah pernyataan majemuk yang selalu bernilai salah.
contoh pernyataan kontradiksi:
p ʌ (~p ʌ q)
tabel kebenaran pernyataan kontradiksi  p ʌ (~p ʌ q):

Contoh tabel kebenaran kontradiksi

contoh lain pernyataan kontradiksi adalah:

a. (p ʌ ~p)
EKUIVALEN 
Ekuivalen adalah dua atau lebih pernyataan majemuk  yang memiliki nilai kebenaran yang sama.
Contoh ekuivalen:
~(p v q) ≡ ~p ʌ ~q
tabel kebenaran pernyataan ekuivalen ~(p v q) ≡ ~p ʌ ~q: 

Contoh tabel kebenaran ekuivalen

Hukum-hukum ekuivalen:
a. Hukum Komutatif
    p ʌ q ≡  q ʌ p
    p v q ≡ q v p

b. Hukum Distributif
    p ʌ (q v r) ≡ (p ʌ q) v (p ʌ r)
    p v (q ʌ r) ≡ (p v q) ʌ (p v r)

c. Hukum Asosiatif
    (p ʌ q) ʌ r ≡ p ʌ (q ʌ r)
    (p v q) v r ≡  p v (q v r)

d. Hukum Identitas
    p ʌ T ≡  p
    p v F ≡  p

e. Hukum Dominasi / Ikatan

    p v T ≡ T
    p v F ≡ F 

f.  Hukum Negasi

    p v ~p ≡  T 
    p ʌ ~p ≡ F

g. Hukum Involusi / Negasi Ganda

    ~(~p) ≡  p

h. Hukum Idempoten
    p ʌ p ≡ p
    p v p ≡ p

i.  Hukum De Morgan

    ~( p ʌ q ) ≡  ~p v ~q
    ~( p v q ) ≡ ~p ʌ ~q

j.  Hukum Absorbsi / Penyerapan

    p v (p ʌ q) ≡  p
    p ʌ (p v q) ≡ p

k. Hukum True dan False

    ~T ≡  F
    ~F ≡ T

l.  Hukum Perubahan Implikasi menjadi Disjungsi atau Konjungsi.

    p => q ≡ ~p v q 
CONTOH
Contoh Tautologi :

1.      Pernyataan p ˅ ~q merupakan tautologi :

Jawab: Untuk membuktikan pernyataan ini merupakan tautologi, kita buat tabel kebenarannya.

p ~p p ˅ ~p

B S B

S B B

2.      Tabel kebenaran dari q ⟹ (p ˅ q) adalah. . .

Jawab:

p q ( p ˅ q) q ⟹ (p ˅ q)

B B B B

B S B B

S B B B

S S S B

Terlihat bahwa nilai kebenaran pernyataan q ⟹ (p ˅ q) = BBBB (selalu benar), sehingga
pernyataan ini merupakan Tautologi.

3.      Tunjukkan bahwa pernyataan majemuk (p ˄ q) ⟹ (p ˅ q) merupakan suatu tautologi.

Jawab : Untuk membuktikan apakah (p ˄ q) ⟹ (p ˅ q) adalah suatu tautologi, kita buat tabel
kebenarannya.

p q p˄q p˅q (p ˄ q) ⟹ (p ˅ q)

B B B B B

B S S B B

S B B B B

S S S S B

Pada kolom yang paling kanan dari tabel di atas, nampak bahwa (p ˄ q)⟹(p ˅ q) selalu
bernilai benar untuk setiap nilai kebenaran dari komponennya. Oleh  karena itu,
pernyataan (p ˄ q) ⟹ (p ˅ q) adalah suatu Tautologi.

4.      Tunjukkan bahwa pernyataan majemuk [(p ⟹ q) ˄ ~p] ⟹ ~p adalah sebuah tautologi.

 Jawab :

Perhatikan tabel kebenaran berikut ini :

p q ~p (p ⟹ q) (p ⟹ q) ˄ ~p [(p ⟹ q) ˄ ~p] ⟹ ~p

B B S B S B

B S S S S B

S B B B B B

S S B B B B

Jadi pernyataan majemuk [(p ⟹ q) ˄ ~p] ⟹ ~p adalah sebuah Tautologi.

5.      a. Lengkapilah tabel kebenaran [(p ⟹ q) ˄ (q ⟹ r)] ⟹ (p ⟹ r) berikut :

p q r p⟹q q⟹r p⟹r (p ⟹ q) ˄ (q ⟹r) [(p ⟹ q) ˄ (q ⟹ r)] ⟹(p ⟹ r)

B B B

B B S

B S B

B S S

S B B

S B S

S S B

S S S

b. berdasarkan tabel kebenaran yang diperoleh pada soal a., apakah pernyataan
majemuk [(p ⟹ q) ˄ (q ⟹ r)] ⟹ (p ⟹ r) sebuah tautologi?

6.      Pernyataan berikut yang merupakan tautologi adalah . . .

a.       ~(p ˅ q) ⟹ q

b.      (p ˄ ~p) ˄ q

c.       (p ˄ ~p) ⟹ q

d.      (~p ˅ q) ⟹ q

e.       (p ˅ q) ˅ p

Jawab : c.

Perhatikan tabel berikut :

 p q ~p (p ˄ ~p) (p ˄ ~p) ⟹ q

B B S S B

B S S S B

S B B S B

S S B S B

7.      Tabel kebenaran dari (q ⟹ r) ⟹ [(p ˅ q) ⟹ (p ˅ r)  adalah. . .

a.       BBBSSSSS

b.      BSBSBSBS

c.       BSSSSSSS

d.      BBBBBBBB

e.       SSSSSSSS

Jawab : d.

Perhatikan tabel berikut :

p q r (q ⟹r) (p˅q) (p˅r) (p ˅ q) ⟹ (p ˅ r) (q ⟹ r) ⟹ [(p ˅ q) ⟹(p ˅ r)]

B B B B B B B B

B B S S B B B B

B S B B B B B B

B S S B B B B B

S B B B B B B B

S B S S B S S B

S S B B S B B B

S S S B S S B B

Contoh  Kontradiksi :

1.      Buktikan pernyataan berikut merupakan kontradiksi :

 ~q ˄ q

Tabel kebenaran

q ~q ~q ˄ q

B S S

S B S

2.      Tunjukkan bahwa pernyataan majemuk q ˄ (p ˄ ~q) merupakan suatu kontradiksi.

Jawab :

Tabel kebenaran dari q ˄ (p ˄ ~q) adalah sebagai berikut :

p q ~q p ˄ ~q q ˄ (p ˄ ~q)

B B S S S

B S B B S

S B S S S
S
S S B S

Pada kolom yang paling kanan dari tabel di atas, tampak bahwa q ˄ ( p˄~q ) selalu berniat salah
untuk setiap nilai kebenaran dari komponennya. Oleh karena itu, pernyataan q ˄ (p˄~q) adalah
suatu kontradiksi.

3.      Buktikan pernyataan (~p ˄ q) ˄ (~p ˄ ~q) adalah suatu kontradiksi

Jawab :

Tabel kebenaran dari (~p ˄ q) ˄ (~p ˄ ~q) sebagai berikut :

p q ~p ~q (~p ˄ q) (~p ˄ ~q) (~p ˄ q) ˄ (~p ˄ ~q)

B B S S S S S

B S S B S S S

S B B S B S S

S S B B S B S

4.      Buktikan bahwa pernyataan (p ˄ q) ˄ (~p ˄ ~q) adalah kontradiksi

Jawab :

Tabel kebenaran :
 p q ~p ~q (p ˄ q) (~p ˄ ~q) (p ˄ q) ˄ (~p ˄ ~q)

B B S S B S S

B S S B S S S

S B B S S S S

S S B B S B S

5.      Tunjukkan bahwa pernyataan (p ˄ q) ˄ (p ⟹ ~q) merupakan kontradiksi : (dengan tabel

kebenaran)

Jawab :

p q ~q (p ˄ q) (p ⟹ ~q) (p ˄ q) ˄ (p ⟹ ~q)

B B S B S S

B S B S B S

S B S S B S

S S B S B S

Pada kolom paling kanan dari tabe, tampak bahwa (p ˄ q) ˄ (p ⟹ ~q) selalu bernilai salah
untuk setiap nilai kebenaran dari komponennya. Jadi, pernyataan (p ˄ q) ˄ (p ⟹ ~q) adalah
suatu kontradiksi.

6.      Selesaikan pernyataan dari (p ˄ q) ˄ ~(p ˅ q) menggunakan tabel kebenaran .

p q (p ˄ q) (p ˅ q) ~(p ˅ q) (p ˄ q) ˄ ~(p ˅ q)

B B

B S

S B

S S

Apakah pernyataan (p ˄ q) ˄ ~(p ˅ q) merupakan kontradiksi?

v  Contoh pernyataan majemuk yang ekuivalen :

1.      Buatlah pernyataan yang ekuivalen dengan pernyataan berikut :

Jika air laut pasang maka tiang dermaga tenggelam.

Jawab :

p = jika air laut pasang

q = tiang dermaga tenggelam

p ⟹ q ≡ ~p ˅ q

Bukti :

p q ~p ~q p ⟹ q ~p ˅ q

B B S S B B

B S S B S S

S B B S B B

S S B B B B

Jadi air laut tidak pasang atau tiang dermaga tenggelam

2.      Dengan menggunakan tabel kebenaran, selidikilah apakah pernyataan–pernyataan berikut

ekuivalen.

a)    p ˄ (~p ˅ q) dengan p ˄ q

b)   p ˄ (q⟹r) dengan (p ˄ q) ⟹ (p ˄ r)

Jawab :

a)    p ˄ (~p ˅ q) dengan p ˄ q

p q ~p p˄q ~p ˅ q p ˄ (~p ˅ q )

B B S B B B

B S S S S S

S B B S B S

S S B B
S S

  

Dari tabel di atas,

tampak bahwa nilai
kebenaran p ˄ q sama dengan nilai kebenaran p ˄ ( ~p ˅ q). Jadi, dapat di simpulkan bahwa p ˄ ( ~p ˅
q ) ≡ p ˄ q.

b)   p ˄ ( q →⟹ r ) dengan ( p ˄ q ) ⟹ ( p ˄ r )

p q r p˄q p ⟹ r q ⟹ r ( p ˄ q ) ⟹ ( p ˄ r )

p ˄ (q  r)

B B B B B B B B
 B B S B S S S S

B S B S B B B B

B S S S S B B B

S B B S S B S B

S B S S S S S B

S S B S S B S B

S S S S S B
S B

  

Pada
tabel di
atas, tampak bahwa nilai kebenaran p ˄ ( q⟹ r ) tidak sama dengan nilai kebenaran ( p ˄ q ) ⟹ ( p ˄
r ). Jadi , dapat di simpulkan bahwa p ˄ ( q ⟹ r ) tidak ekuivalen dengan ( p ˄ q ) ⟹ ( p ˄ r ).

3.      Pernyataan majemuk, “jika hari ini hujan, sungai meluap”. Ekuivalen dengan pernyataan

a.       Hari hujan dan sungai meluap

b.      Hari tidak hujan dan sungai tidak meluap.

c.       Jika sungai tidak meluap, hari tidak hujan.

d.      Jika sungai tidak meluap, hari hujan.

e.       Jika hari tidak hujan, sungai tidak meluap.

Dari pernyataan diatas jawabannya adalah c.

Bukti : p→q ≡ ~q → ~p

p q ~p ~q p→q ~q → ~p

B B S S B B

B S S B S S

S B B S B B

S S B B B B

          ekuivalen

4.      Tunjukkan bahwa : (dengan tabel kebenaran)

 ≡ (   ˅   )
Jawab :

p q p˄q
 ˅  

B B S S B S S

B S S B S B B

S B B S S B B

S S B B S
B B

ekuivalen

5.      Buktikan bahwa pasangan pernyataan p ⟹ q dan ~p ˅ q ekuivalen.

Jawab :

p q ~p p ⟹ q ~p ˅ q

B B S B B

B S S S S

S B B B B

S S B B B

Dengan memperhatikan kolom ke-4 dan ke-5 pada tabel di atas, nilai kebenaran dari p ⟹q ≡ ~p ˅ q
(terbukti).

6.      ~( p ˄ q) ≡ ~p ˅ ~q

Jawab :

p q ~p ~q p˄q ~(p ˄ q) ~p ˅~q

B B S S B S S

B S S B S B B

S B B S S B B

S S B B S B B

Kesimpulan terbukti bahwa pernyataan ~( p ˄ q) ≡ ~p ˅ ~q ekuivalen

7.      Buatlah tabel kebenaran pernyataan majemuk berikut :

p ˅ (p ˄ q) ≡ p

jawab :
 p q (p ˄ q) p ˅ (p ˄ q)

B B B B

B S S B

S B S S

S S S S

8.      Tunjukkanlah bahwa : (dengan tabel kebenaran)

(p ˄ q) ˄ r ≡ p ˄ (q ˄ r) (hukum assosiatif)

p q r (p ˄ q) (q ˄ r) p ˄ (q ˄ r)
(p   q) ˄ r

B B B B B B B

B B S B S S S

B S B S S S S

B S S S S S S

S B B S S B S

S B S S S S S

S S B S S S S

S S S S S S S

Apakah selalu sama? ......

Lingkarilah nilai kebenaran yang sama !

Jadi (p ˄ q) ˄ r ≡ p ˄ (q ˄ r)                                 (terbukti)