FORUM DISKUSI

MODUL LOGIKA

DEDI SISWOYO, S.Pd

UNIVERSITAS NEGERI JAKARTA

2020
 FORUM DISKUSI MODUL LOGIKA

Kegiatan Belajar 1:
1. Suatu pernyataan dapat dinyatakan dalam bentuk simbol-simbol yang bisa dicari
nilai kebenarannya melalui tabel kebenaran. Selesaikan dengan cara membuat tabel
kebenaran dan tuliskan langkah-langkah yang harus dilakukan untuk menyelesaikan
permasalahan berikut ( ( p ⟹ r ) ⋀ r ⟹ s ) ⟹( p ⟹ s )
Penyelesaian:
 Membuat tabel
 Dikarenakan terdapat tiga pernyataan yang disimbolkan p, r dan s maka nilai
pernyataan p adalah BBBBSSSS, nilai pernyataan r adalah BBSSBBSS, dan nilai
pernyataan s adalah BSBSBSBS.
p r s
B B B
B B S
B S B
B S S
S B B
S B S
S S B
S S S
 Selanjutnya mencari nilai kebenaran dari ( ( p ⟹ r ) ⋀ ( r ⟹ s ) ) ⟹ ( p ⟹ s ) Maka mencari
nilai kebenaran ( p ⟹ r), (r ⟹ s), dan ( p ⟹ s) terlebih dahulu.
p r s p ⟹r r ⟹s
B B B B B
B B S B S
B S B S B
B S S S B
S B B B B
S B S B S
S S B B B
S S S B B
 Selanjutnya mencari nilai kebenaran dari ( p ⟹r ) ⋀ ( r ⟹ s ) , kemudian mencari nilai
kebenaran ( ( p ⟹ r ) ⋀ ( r ⟹ s ) ) ⟹ ( p ⟹ s ) dengan mencari nilai ( p ⟹ s).
p r s p ⟹r r ⟹s ( p ⟹r ) ⋀ ( r ⟹ s ) p⟹s (( p ⟹ r ) ⋀ ( r ⟹ s) ) ⟹ ( p ⟹ s)
B B B B B B B B
B B S B S S S B
B S B S B S B B
B S S S B S S B
S B B B B B B B
S B S B S S B B
S S B B B B B B
S S S B B B B B
Kegiatan Belajar 2:
1. Buatlah suatu permasalahan tautologi dan kontradiksi dengan
mengimplementasikan materi pada KB 2.  Buatlah langkah-langkah penyelesaian  yang
dilakukan untuk menunjukkan suatu tautologi dan kontradiksi. 
Penyelesaian:
Tautoligi:
p q ∼ p ∼q p⟹q ( p ⟹ q ) ∧∼q [ ( p ⟹q ) ∧ ∼ q ] ⟹ ∼ p
B B S S B S B
B S S B S S B
S B B S B S B
S S B B B B B

Kontradiksi:
( p ∧q ) ∧∼ ( p ∨q )
p q p ∧q p ∨q ∼( p ∨ q) ( p ∧q ) ∧∼ ( p ∨q )
B B B B S S
B S S B S S
S B S B S S
S S S S B S
Kegiatan Belajar 3:
1. Tunjukkan apakah proposisi p ∨q ∨ r dan ( p ∧ ( ∼q ) ) ∨ ( q ∧ ( ∼ r )) ∨ ( r ∧ ( ∼ p ) ) ∨ ( p ∧ q ∧r ) saling ekivalen! (Tunjukkan
dengan tabel kebenaran dan hukum aljabar proposisi)
Penyelesaian:
 Table kebenaran
p q r ∼ p ∼ q ∼ r ( p ∧(∼q )) (q ∧ (∼ r )) (r ∧ (∼ p)) ( ( p ∧ (∼ q ) ) ∨ ( q ∧ ( ∼ r ) ) ) ∨ (( r ∧ ( ∼ p ) ) ∨ ( p ∧ q ∧r ) ) p ∨q ∨ r
B B B S S S S S S B B
B B S S S B S B S B B
B S B S B S B S S B B
B S S S B B B S S B B
S B B B S S S S B B B
S B S B S B S B S B B
S S B B B S S S B B B
S S S B B B S S S S S
Terlihat bahwa nilai kebenaran dari p ∨q ∨ r dan ( p ∧ ( ∼q ) ) ∨ ( q ∧ ( ∼r )) ∨ ( r ∧ ( ∼ p ) ) ∨ ( p ∧ q ∧r ) senilai, sehingga
p ∨q ∨ r ≡ ( p ∧ ( ∼q ) ) ∨ ( q ∧ ( ∼r )) ∨ ( r ∧ ( ∼ p ) ) ∨ ( p ∧ q ∧r )
 Hukum aljabar proposisi
( p ∧ ( ∼q ) ) ∨ ( q ∧ ( ∼r )) ∨ ( r ∧ ( ∼ p ) ) ∨ ( p ∧ q ∧r )
≡ [ ( p ∧ (∼ q ) ) ∨q ] ∨ [ ( p ∧ ( ∼ q )) ∨∼ r ] ∨ ( r ∧ ( ∼ p ) ) ∨ ( p ∧ q ∧r )
≡ [ ( ( p ∨ q ) ∧ ( ∼q ∨ q ) ) ∧ ( ( p ∨∼ r ) ∧ ( ∼q ∨ ∼ r ) ) ] ∨ ( r ∧ ( ∼ p ) ) ∨ ( p∧ q ∧r )
≡¿
≡ [( p ∨q ) ∧ ∼ ( r ∧ ∼ p ) ∧ (∼ q ∨∼ r ) ] ∨ ( r ∧ ( ∼ p ) ) ∨ ( p ∧q ∧r )
≡ {[ ( p ∨ q ) ∨( r ∧ ∼ p) ] ∧ [ ∼(r ∧∼ p)∨(r ∧∼ p) ] ∧ [ (∼ q ∨ ∼r)∨( r ∧ ∼ p) ] } ∨ ( p ∧q ∧ r )
≡ {[ q ∨ p ∨( r ∧ ∼ p) ] ∧ [ ∼ q ∨∼ r ∨(r ∧∼ p) ] } ∨ ( p ∧ q ∧r )
≡¿
≡¿
≡ [ q ∨ p ∨ r ] ∧ [ ∼ q ∨ ∼ r ∨ ∼ p ¿ ] ∨ ( p ∧ q ∧r )
≡ ( q ∨ p ∨r ) ∧ [ ∼ ( p ∧ q ∧r ) ∨ ( p ∧q ∧ r ) ]
≡ ( q ∨ p ∨r ) ∧T
≡ q ∨ p ∨r
Jadi
p ∨q ∨ r ≡ ( p ∧ ( ∼q ) ) ∨ ( q ∧ ( ∼ r )) ∨ ( r ∧ ( ∼ p ) ) ∨ ( p ∧ q ∧r )
2. Dapatkah segala sesuatu dibuktikan tanpa adanya premis yang diketahui? Jelaskan!
Penyelesaian:
Tidak. Premis merupakan pernyataan yang digunakan untuk menarik kesimpulan diasumsikan terjadi. Suatu premis dapat
berupa aksioma yang diterima kebenarannya tanpa pembuktian, hipotesa, definisi, atau pernyataan yang sudah dibuktikan
sebelumnya. Dalam membuktikan suatu dalil atau menurunkan suatu hasil dari kebenaran-kebenaran yang diketahui
digunakan pola argumentasi yaitu penarikan kesimpulan atau konklusi dari beberapa pernyataan atau premis yang
diketahui dengan didasarkan atas prinsip-prinsip logika. Kumpulan beberapa premis yang mengandung bukti-bukti dan
suatu (satu) konklusi disebut dengan argument. Argumen ini yang akan dibuktikan dengan menggunakan
metode-metode inferensi yang ada. Konklusi juga sebaiknya diturunkan dari premis-premis.
Jadi apabila tidak ada premis yang diketahui, tidak mungkin kita bisa membuat sebuah
penarikan kesimpulan.

3. Buktikan validitas argumen berikut!

a. Ketika matahari meninggi dan bulan tak mau pergi, maka aku akan mencari.
b. Jika kau seru angin berbisik, matahari akan meninggi.
c. Jika bulan hendak bergeser menjauh, gerimis pun tak mau jatuh.
d. Kau seru angin untuk berbisik dan hujan pun mau menitik.
e. Jadi, aku akan mencari.
Penyelesaian:
Misalkan: Maka:
p :matahari meninggi 1. ( p ∧q ) ⟹ r ( premis 1 )
q :bulan tak mau pergi 2. s ⟹ p ( premis 2 )
r :aku akan mencari 3. q ⟹ t ( premis 3 )
s :kau seruangin berbisik 4. s ∧t ( premis 4)
t : gerimis mau jatuh 5. t ⟹ q ( 3 :hukum transposisi )
6. s ( 4 : simplifikasi )
Dari pemisalan tersebut diperoleh:
7. p ( 2,6 :modus ponen )
Premis 1 : ( p ∧q ) ⟹ r
8. t ( 4 :simplifikasi )
Premis 2 : s ⟹ p
9. q ( modus ponen )
Premis 3 : q ⟹ t
Premis 4 : s ∧t 10. p ∧q ( 7,9 :konjungsi )
Konklusi : r 11. r ( 1,10 :modus ponen )

Jadi argument di atas adalah valid

Kegiatan Belajar 4 :

Penyelesaian:
a. Jawab
( a ∨ b ) → [(c ∧ d)→ e]
∴ a →[(c ∧ d )→ e]
Bukti:
( b ∨ d ) →[( c ∧d )→ e ] Premis 1
a /∴ [(c ∧ d)→ e] Premis tambahan dan konklusi baru
a∨b 2 aturan penambahan
(c ∧d )→ e 1, 3 Modus Ponen
a →[(c ∧ d)→e ] 2 s/d 4 Aturan Bukti Bersayarat

b. jawab
a → ( b ∧c )
(b ∨ d )→ e
d ∨a
∴a
Bukti:
1. a → ( b ∧c ) Premis 1
2. ( b ∨ d ) → e Premis 2
3. d ∨a Premis 3
4. e Premis Tambahan
5. ( b ∨ d ) 2, 4 Modus Tollens
6. b ∧ d 5 Hukum De Morgan
7. b 6 Aturan Penyederhanaam
8. d 6 Aturan Penyederhanaam
9. d → a 3 Hukum Implikasi
10.a 9, 8 Modus Ponens
11.b ∧ c 1, 10 Modus Ponens
12.b 11 Hukum Penyederhanaan
13.b ∧ b 7, 12 Hukum Konjungsi
14.b ∨ e 12 Aturan Penambahan
15. b → e 14 hukum Implikasi
16.e 14, 7 Silogisme Disjungtif