Anda di halaman 1dari 11

TUGAS AKHIR

MODUL 6 : LOGIKA MATEMATIKA


OLEH : ANAS NUR MAGHFIROH

1. Berdasarkan penjelasan tentang tautologi dan kontradiksi. Selesaikan


masalah berikut ini dengan menuliskan langkah - langkahnya
a.  p  q   r  q    p  r   q 

Penyelesaian:
Langkah-langkah pengerjaan :
 Membuat tabel.
 Terdapat tiga pernyataan yang disimbolkan p, q dan r maka nilai
pernyataan p adalah BBBBSSSS, nilai pernyataan q adalah BBSSBBSS, dan
nilai kebenaran r adalah BSBSBSBS
 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

 Mencari nilai kebenaran dari  p  q , r  q ,  p  r 

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
 Mencari nilai kebenaran dari  p  q   r  q 
p q r pq rq pr  p  q   r  q 

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

 Mencari nilai kebenaran dari  p  r   q


p q r p  q r  q p  r  p  q   r  q  p  r q

B B B B B B B B
B B S B B S B B
B S B S S B S S
B S S S B S S B
S B B B B B B B
S B S B B B B B
S S B B S B S S
S S S B B B B S
 Terakhir mencari nilai kebenaran dari  p  q   r  q    p  r   q 
p q r 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 B S B B S B B B
B S B S S B S S B
B S S S B S S B B
S B B B B B B B B
S B S B B B B B B
S S B B S B S S B
S S S B B B B S S

Berdasarkan tabel kebenaran tersebut, diperoleh  p  q   r  q    p  r   q 


bernilai BBBBBBBS. Jadi, dapat disimpulkan peryataan majemuk tersebut
adalah BUKAN TAUTOLOGI maupun BUKAN KONTRADIKSI.

b. p  ~ p  q 
Penyelesaian:
Langkah-langkah pengerjaan :
 Membuat tabel.
 Terdapat dua pernyataan yang disimbolkan p dan q maka nilai pernyataan p
adalah BBSS , nilai pernyataan q adalah BSBS . Tabelnya adalah sebagai
p q
B B
B S
S B
S S

 Mencari nilai kebenaran ~ p


p q ~p
B B S
B S S
S B B
S S B
 Mencari nilai kebenaran ~ p  q 
p q ~p (~p ˄ q)
B B S S
B S S S
S B B B
S S B S

 Mencari nilai kebenaran p  ~ p  q 


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 tersebut, diperoleh p  ~ p  q  bernilai SSSS. Jadi,


dapat disimpulkan peryataan majemuk tersebut adalah KONTRADIKSI.
2. Tuliskan bukti validitas silogisme hipotesis dengan menggunakan hukum
aljabar proposisi

Penyelesaian :
Bentuk argumen pada silogisme hipotesis dapat disimbolkan dalam bentuk:
Premis 1 : p  q
Premis 2 : q  r
Kesimpulan : p  r
Akan dibuktikan  p  q   q  r    p  r  bernilai BENAR (TRUE)
Berikut adalah langkah-langkah pembuktian argumen di atas:
 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

  p  ~ q   q  ~ r   ~ p  r  Hukum De Morgan

 ~ p   p  ~ q   r  q  ~ r  Hukum Komutatif dan Asosiatif

 ~ p  p   ~ p  ~ q   r  q   r  ~ r  Hukum Distributif

 T  ~ p  ~ q   r  q   T  Hukum Komplemen

 ~ p  ~ q   r  q  Hukum Identitas

 ~ p  r   ~ q  q  Hukum Komutatif dan Asosiatif

~ p  r  T Hukum Komplemen

~ p  T Hukum null/dominasi

T Hukum null/dominasi

Terbukti bahwa silogisme adalah proses penarikan kesimpulan yang sah


3. Buktikan keabsahan argumen berikut dengan menuliskan langkah dan
aturan - aturan yang digunakan untuk pembuktian.

 p  q   r  s 
~ r ~ s

~ p  ~ q

Penyelesaian :
Akan dibuktikan
 p  q   r  s 
~ r~ s
~ p  ~ q

Valid
Bukti keabsahan argumen berikut
 p  q   r  s 
~ r~ s
~ p  ~ q
dengan menggunakan aturan Reductio Ad Absordum (Bukti Tak Langsung) yang
disajiakn dalam tabel berikut :
No Pernyataan Alasan
1  p  q   r  s  Premis

2 ~ r~ s Premis
3 ~ r  s  Premis tambahan

4 ~  p  q Dari 1 dan 3, Modus Tollens

5 ~ p~ q Dari 4, Hukum de Morgan

Jadi, berdasarkan tabel di atas TERBUKTI bahwa argumen


 p  q   r  s 
~ r~ s
~ p  ~ q
merupakan argumen yang VALID
PETA KONSEP
MODUL 6 BILANGAN
KB 1 S/D KB 4
KB 1. Kalimat, Pernyataan, dan
Tabel Kebenaran

KALIMAT

BERDASAR
DEFINISI
JENIS

Kalimat Berarti / Kalimat tak


Pernyataan berarti

Definisi Jenis

Tunggal Majemuk

Negasi

KONJUNGSI DISJUNGSI IMPLIKASI BIIMPLIKASI


KB 2. Tautologi dan
Kontradiksi

Pernyataan Majemuk
Kalimat Berkuantor Berdasarkan Nilai
Kebenaranya

Kuantor Universal Kuantor Eksistensial Tautologi Kontradiksi

Pernyataan matematika
Kata-kata yang biasa
yang dilengkapi dengan
digunakan dalam kuantor Pernyataan yang selalu
kata-kata “terdapat”, Pernyataan majemuk
universal adalah “semua”, bernilai salah untuk
“ada”, “sekurang yang selalu bernilai benar
“setiap”, “untuk semua” setiap substitusi nilai
kurangnya satu”, atau untuk setiap substitusi
atau “untuk setiap”. kebenaran pernyataan
“beberapa” . Kuantor pernyataan tunggalnya
Kuantor universal tunggalnya
eksistensial
dilambangkan dengan ∀
dilambangkan dengan ∃

Negasi Pernyataan Kuantor


KB 3. Aljabar Proposisi dan
Argumen

Aljabar Proposisi Argumen dan Inferensi

hukum aljabar proposisi Inferensi Argumen

Modus Ponen
(Penalaran
Langsung)

Modus Tolen
(Penalaran Tak
Langsung)

Silogisme Hipotesis

Silogisme Disjungtif

Simplifikasi

Penambahan
Disjungtif

Konjungsi

Dilema
(Pembagian
Kasus)

Dilema
Konstruktif

Dilema Destruktif
KB 4. Aturan Bukti
Bersyarat dan Bukti Tak
Langsung

Aturan Bukti Bersyarat Bukti Tak Langsung

Langkah - Langkah Langkah - Langkah

Menulis premis-premis Menulis premis-premis


yang diketahui. yang diketahui

Menarik anteseden dari Menarik ingkaran dari


konklusi menjadi premis baru konklusi menjadi premis
(premis tambahan) dan
baru (premis tambahan).
konsekuennya merupakan
konklusi dari argument
(konklusi baru).
Dengan menggunakan aturan
penyirnpulan dan hukum
penggantian ditunjukkan adanya
kontradiksi
Menggunakan aturan
penyirnpulan dan hukum
penggantian untuk Setelah ditemukan kontradiksi
menemukan konlusi sesuai kita tinggal menggunakan
dengan konklusi baru prinsip Adisi dan Silogisme
Disjungtif

Anda mungkin juga menyukai