NAMA : IIS NURSINI

KELAS : MATEMATIKA
2
KELOMPOK : LIMAS TUGAS AKHIR MODUL 6
LOGIKA MATEMATIKA
1. Berdasarkan penjelasan tentang tautologi dan kontradiksi. Selesaikan masalah berikut
dengan menuliskan langkah-langkahnya.
a. ( ( p ⟹ q ) ∧ ( r ⟹ q ) )⟹(( p ⟹r )⟹ q)
Jawab:
Langkah-langkah:
i. Membuat tabel
ii. Terdapat tiga pernyataan yang disimbolkan p , q dan r maka nilai
kebenaran pernyataan p adalah BBBBSSSS , nilai kebenaran pernyataan
q adalah BBSSBBSS dan nilai kebenaran pernyataan r adalah
BSBSBSBS.
iii. Hasil tabelnya adalah sebagai berikut

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

iv. Mencari nilai kebenaran dari ( p ⟹ q ) , ( r ⟹ q ) dan (p ⟹ r ). Tabel

kebenaraannya sebagai berikut
p q r p⟹q r⟹q p ⟹r
B B B B B B
B B S B B S
B S B S S B
B S S S B S
S B B B B B
S B S B B B
S S B B S B
S S S B B B
v. Mencari nilai kebenaran dari ( p ⟹ q ) ∧ ( r ⟹ q ) dan ( p ⟹ r)⟹ q. Tabel
kebenarannya adalah sebagai berikut:
q p⟹q r ⟹q p ⟹r ( p ⟹ q) ∧ ( r ⟹ q) ( p ⟹ r)⟹ q
B B B B B B
B B B S B B
 S S S B S S
S S B S S S
B B B B B B
B B B B B B
S B S B S S
S B B B B S

vi. Mencari nilai kebenaran ( ( p ⟹ q ) ∧ ( r ⟹ q ) )⟹(( p ⟹r )⟹ q). Tabel

kebenarannya adalah sebagai berikut
q p⟹q r⟹q p ⟹r ( p ⟹ q) ∧ ( r ⟹ q) ( p ⟹ r)⟹ q ( ( p ⟹ q ) ∧ ( r ⟹ q ) )⟹(( p ⟹r )⟹ q)

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

Berdasarkan tabel kebenaran di atas, diperoleh

( ( p ⟹ q ) ∧ ( r ⟹ q ) ) ⟹ ( ( p ⟹ r ) ⟹ q )bernilai BBBBBBBS. Jadi, dapat
disimpulkan pernyataan majemuk tersebut adalah kontingensi.

b. p ∧(∼ p ∧ q)
Jawab :
Langkah-langkah:
i. Membuat tabel
ii. Terdapat dua pernyataan yang disimbolkan p dan q maka nilai
kebenaran pernyataan p adalah BBSS, nilai kebenaran pernyataan q
adalah BSBS.
iii. Hasil tabelnya adalah sebagai berikut:
p q
B B
B S
S B
S S

iv. Mencari nilai kebenaran dari ∼ p dan(∼ p ∧q). Tabel kebenarannya

adalah sebagai berikut:
p q ∼p ∼ p ∧q
 B B S S
B S S S
S B B B
S S B S

v. Mencari nilai kebenaran dari p ∧(∼ p ∧ q). Tabel kebenarannya adalah

sebagai berikut:
p q ∼p ∼ p ∧q p ∧(∼ p ∧ q)
B B S S S
B S S S S
S B B B S
S S B S S

Berdasarkan tabel kebenaran di atas, diperoleh p ∧(∼ p ∧ q) bernilai SSSS.

Jadi, dapat disimpulkan pernyataan majemuk tersebut adalah kontradiksi.
2. Tuliskan bukti validitas silogisme hipotesis dengan menggunakan hukum aljabar
proposisi.
Jawab :
Silogisme Hipotesis
Premis 1 : p ⟹ q
Premis2 :q ⟹ r
Kesimpulan : p ⟹r

Pembuktian dengan aljabar proposisi

( p ⟹ q)∧(q ⟹ r )⟹ ( p ⟹ r )
≡ [ ( p ⟹ q ) ∧ ( q ⟹r )]∨( p ⟹r ) (Hukum Implikasi)
≡ [ (∼ p ∨ q ) ∧ ( ∼ q ∨r )] ∨(∼ p ∨r ) (Hukum Implikasi)
≡ ( p ∧∼q ) ∨ ( q ∧∼ r ) ∨(∼ p ∨ r) (Hukum De Morgan
dan Hukum Negasi Ganda)
≡ [ ( p ∧∼q ) ∨ q ] ∧[( p ∧∼q ) ∨ ∼r ]∨(∼ p ∨r ) (Hukum Distributif)
≡¿ (Hukum Distributif)
≡ [( p ∨q ) ∧ T ] ∧[( p ∨∼r ) ∧ ( ∼q ∨ r ) ]∨(∼ p ∨r ) (Hukum
Komplemen)
≡[ ( p ∨ q ) ∧ ( p ∨∼r ) ∧ ( ∼q ∨r ) ]∨(∼ p ∨r ) (Hukum Identitas)
≡ [( p ∨q ) ∨ ( ∼ p ∨ r ) ] ∧ [ ( p ∨∼ r ) ∨ ( ∼ p ∨r ) ] ∧[( ∼q ∨ r ) ]∨( ∼ p ∨ r)¿ (Hukum
Distributif)
≡ ( p ∨q ∨∼ p ∨ r ) ∧ ( p ∨ ∼r ∨ ∼ p ∨ r ) ∧ (∼ q ∨∼r ∨∼ p ∨r ) (Hukum Asosisatif)
≡ ( p ∨∼ p ∨q ∨ r ) ∧ ( p ∨ ∼ p ∨∼ r ∨ r ) ∧ (∼ q ∨∼ p ∨∼ r ∨r ) (Hukum Komutatif)
≡ ( T ∨q ∨ r ) ∧ (T ∨∼r ∨r ) ∧ ( ∼q ∨ ∼ p ∨T ) (Hukum
Komplemen)
≡T ∧T ∧T (Hukum Dominasi)
 ≡T

Berdasarkan pembuktian di atas, didapatkan bahwa ( p ⟹ q)∧(q ⟹ r )⟹ ( p ⟹ r )

adalah sebuah tautology. Dengan demikian, argument di atas valid dan penarikan
kesimpulan dengan silogisme hipotesis adalah sah.
3. Buktikan keabsahan argument berikut dengan menuliskan langkah dan aturan-aturan
yang digunakan untuk pembuktian.
( p ∧q ) ⟹(r ∧ s)
∼ r ∨∼ s
∴ ∼ p ∨∼ q

Jawab :
a. Dengan Modus Tollens
1) ( p ∧q ) ⟹(r ∧ s) (Premis 1)
2) ∼ r ∨∼ s (Premis 2)
3) ∼ ( r ∧ s ) (2, Hukum De Morgan)
4) ∼ ( p ∧q ) (1 dan 3, Modus Tollens)
5) ∼ p ∨∼q (4, Hukum De Morgan)

Berdasarkan pembuktian di atas, terbutkti bahwa argument

adalah sah atau valid.
b. Dengan Aturan Bukti Bersyarat
1) ( p ∧q ) ⟹(r ∧ s) (Premis 1)
2) ∼ r ∨∼ s (Premis 2)
3) ∼ p ∨∼q (Konklusi)
4) p ⟹ q (3, Hukum Implikasi)
5) p/ ∴ q (Penambahan Premis dan Konklusi Baru)
6) ( r ∧ s ) (2, Hukum De Morgan)
7) ( p ∧q ) (1 dan 6, Modus Tollens)
8) ∼ p ∨∼q (7, Hukum De Morgan)
9) ∼ q ∨∼ p (8, Hukum Komutatif)
10) ∼ q (8 dan 1, Silogisme Disjungtif)
11) p ⟹∼ q (4 s.d 11, Aturan Bukti Bersyarat)
12) ∼ p ∨∼q (9, Hukum Implikasi)
Berdasarkan pembuktian di atas, terbutkti bahwa argument

adalah sah atau valid.