TITIN VERAWATY S

Forum Diskusi. KB 2
Silahkan saudara diskusikan bersama dengan teman sejawat. Buatlah suatu permasalahan
tautologi dan kontradiksi dengan mengimplementasikan materi pada KB 2. Buatlah langkah-
langkah penyelesaian yang dilakukan untuk menunjukkan suatu tautologi dan kontradiksi.

1.Tunjukkan bahwa pernyataan majemuk (~𝑝 ⇒ 𝑞) ⋁ ∼ 𝑝 adalah tautologi !

Jawaban :
Langkah-langkah pengerjaannya adalah sebagai berikut:
 Terdapat dua pernyataan yang disimbolkan p,q maka nilai pernyataan p adalah BBSS, nilai
pernyataan q adalah BSBS.
 Hasil tabelnya sebagai berikut:

p q
B B
B S
S B
S S

 Mencari nilai kebenaran dari (~𝑝 ⇒ 𝑞)

Untuk mencari nilai kebenaran (~𝑝 ⇒ 𝑞), terlebih dahulu dengan mencari kebenaran ~𝑝.
Hasil kebenarannya adalah sebagai berikut:

p q ~𝑝 (~𝑝 ⇒ 𝑞)
B B S B
B S S B
S B B B
S S B S

 Mencari nilai kebenaran (~𝑝 ⇒ 𝑞)⋁ ∼ 𝑝

(~𝑝 ⇒ 𝑞) ~𝑝 (~𝑝 ⇒ 𝑞)⋁ ∼ 𝑝

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

Berdasarkan tabel kebenaran tersebut diperoleh (~𝑝 ⇒ 𝑞)⋁ ∼ 𝑝 bernilai BBBB. Jadi, dapat disimpulkan
pernyataan majemuk tersebut adalah tautologi.

2. Tunjukkan bahwa pernyataan majemuk (𝑝 ∨ 𝑞)⋁(𝑟 ⇒∼ 𝑞) adalah tautologi !

Jawaban :
 Langkah-langkah pengerjaanya sebagai berikut:
 Terdapat tiga pernyataan yang disimbolkan p,q dan r maka nilai pernyataan p adalah BBBBSSSS,
nilai pernyataan q adalah BBSSBBSS dan nilai pernyataan r adalah BSBSBSBS.
 Hasil tabelnya sebagai berikut:
 TITIN VERAWATY S

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

 Mencari nilai kebenaran (𝑝 ∨ 𝑞)

p q (𝑝 ∨ 𝑞)
B B B
B B B
B S B
B S B
S B B
S B B
S S S
S S S

 Mencari nilai kebenaran (𝑟 ⇒∼ 𝑞)

Untuk mencari nilai kebenaran (𝑟 ⇒∼ 𝑞) , terlebih dahulu dengan mencari kebenaran ~𝑞.
Hasil kebenarannya adalah sebagai berikut:
r ∼𝑞 (𝑟 ⇒∼ 𝑞)
B S S
S B B
B S S
S B B
B S S
S B B
B S S
S B B

 Mencari nilai kebenaran (𝑝 ∨ 𝑞)⋁(𝑟 ⇒∼ 𝑞)

(𝑝 ∨ 𝑞) (𝑟 ⇒∼ 𝑞) 𝑝 ∨ 𝑞)⋁(𝑟 ⇒∼ 𝑞)
B S B
B B B
B S B
B B B
B S B
B B B
S S B
S B B
 TITIN VERAWATY S

Berdasarkan tabel kebenaran tersebut diperoleh (𝑝 ∨ 𝑞)⋁(𝑟 ⇒∼ 𝑞) bernilai BBBBBBBB. Jadi, dapat
disimpulkan pernyataan majemuk tersebut adalah tautologi.

3. Tunjukkan bahwa pernyataan majemuk ∼ (∼ 𝑝 ⇒ 𝑞) ∧ 𝑝 adalah kontradiksi !

Jawaban :
Langkah-langkah pengerjaan:
 Membuat tabel
 Terdapat dua pernyataan yang disimbolkan p,q maka nilai pernyataan p adalah BBSS, nilai
pernyataan q adalah BSBS.
Hasil tabelnya sebagai berikut:

p q
B B
B S
S B
S S

 Mencari nilai kebenaran (∼ 𝑝 ⇒ 𝑞)

Untuk mencari nilai kebenaran (∼ 𝑝 ⇒ 𝑞), terlebih dahulu dengan mencari nilai
kebenaran ∼𝑝. Hasil tabel kebenarannya adalah sebagai berikut.

p q ∼𝑝 (∼ 𝑝 ⇒ 𝑞)
B B S B
B S S B
S B B B
S S B S

 Mencari nilai kebenaran ∼ (∼ 𝑝 ⇒ 𝑞) ∧ 𝑝

Untuk mencari nilai kebenaran ∼ (∼ 𝑝 ⇒ 𝑞) ∧ 𝑝 terlebih dahulu dengan mencari nilai
kebenaran ∼ (∼ 𝑝 ⇒ 𝑞). Hasil tabel kebenarannya adalah sebagai berikut.

(∼ 𝑝 ⇒ 𝑞) ∼ (∼ 𝑝 ⇒ 𝑞). ∼ (∼ 𝑝 ⇒ 𝑞) ∧ 𝑝
B S S
B S S
B S S
S B S

Karena ∼ (∼ 𝑝 ⇒ 𝑞) ∧ 𝑝 bernilai 𝑆𝑆𝑆𝑆 maka pernyataan majemuk tersebut merupakan

kontradiksi.