LOGIKA PROPOSISI

Bagian Ke Tujuh:

K U L I A H M AT E M AT I K A D I S K R I T

Program Studi Teknik Elektro

Review Pertemuan Ke- 3

ARI FADLI, S.T.

Review Pertemuan Ke - 3

K U L I A H M AT E M AT I K A D I S K R I T

Program Studi Teknik Elektro

Tujuan : Review Pertemuan Ke-3

Soal

K U L I A H M AT E M AT I K A D I S K R I T

Program Studi Teknik Elektro

Pada suatu hari anda hendak pergi ke kampus dan baru sadar bahwa anda tidak menggunakan kacamata, dan setelah anda mengingatnya ada beberapa fakta yang anda pastikan kebenarannya :a. Jika kacamataku ada dimeja dapur, maka aku

pasti sudah melihatnya ketika sarapan pagib. Saya membaca koran di ruang tamu atau saya

membacanya di dapurc. Jika saya membaca koran di ruang tamu, maka

pastilah kacamata kuletakan di meja tamu

Soal

K U L I A H M AT E M AT I K A D I S K R I T

Program Studi Teknik Elektro

d. Saya tidak melihat kacamataku pada waktu sarapan pagi

e. Jika saya membaca buku di kasur maka kacamata kuletakan di meja samping kasur

f. Jika saya membaca buku di dapur maka kacamata kuletakan di meja samping dapur

Tentukan letak kacamatanya :

Jawab

K U L I A H M AT E M AT I K A D I S K R I T

Program Studi Teknik Elektro

Carilah atomic proposisi dari proposisi yang majemuk :

p : Kacamataku ada di meja dapurq : Aku melihat kacamataku waktu sarapan pagir : Saya membaca koran diruang tamus : Saya membaca koran didapurt : Kacamata kuletakan dimeja tamuu : Saya membaca buku di kasurw : Kacamata kuletakan di meja samping

ranjang

Jawab

K U L I A H M AT E M AT I K A D I S K R I T

Program Studi Teknik Elektro

Simbol kan proposisi majemuk pada soal berdasarkan atomik proposisi yang dibuat :(a) p q(b) r s(c) r t( )d q(e) u w(f) s p

Jawab

K U L I A H M AT E M AT I K A D I S K R I T

Program Studi Teknik Elektro

Lakukan Inferensi :(a) p q(b) r s(c) r t( )d q(e) u w(f) s p

Jawab

K U L I A H M AT E M AT I K A D I S K R I T

Program Studi Teknik Elektro

1. Langkah 1 (Gunakan modus tollens) :

p q (fakta a) q (fakta d)

-------------------- p

Jawab

K U L I A H M AT E M AT I K A D I S K R I T

Program Studi Teknik Elektro

1. Langkah 2 (Gunakan modus tollens) :

s p (fakta f) p (Kesimpulan 1)

-------------------- s

Jawab

K U L I A H M AT E M AT I K A D I S K R I T

Program Studi Teknik Elektro

1. Langkah 2 (Gunakan modus tollens) :

s p (fakta f) p (Kesimpulan 1)

-------------------- s

Jawab

K U L I A H M AT E M AT I K A D I S K R I T

Program Studi Teknik Elektro

1. Langkah 3 (Gunakan Disjuctive) :

r s (fakta b) s (Kesimpulan 2)

-------------------- r

Jawab

K U L I A H M AT E M AT I K A D I S K R I T

Program Studi Teknik Elektro

1. Langkah 4 (Gunakan Disjuctive) :

r t (fakta c) r (Kesimpulan 2)

-------------------- t

Model Inferensi Lain

1. Penambahan Disjungtif2. Penyederhanaan Konjungtif

Penambahan Disjungtif

Inferensi disjungtif didasarkan atas fakta bahwa suatu kalimat dapat digeneralisir dgn penghubung ‘’

Alasannya adalah : penghubung ‘’ bernilai T jika salah satu komponennya T

A A B

Hipotesa

Kesimpulan

B A B

Hipotesa

Kesimpulan

Penyederhanaan Konjungtif

Kebalikan disjungtif. Menggunakan penghubung ‘’ Kalimat tsb dapat diambil salah satunya

secara khusus. Konjungtif penyempitan Disjungtif perluasanA B

AHipotesa

KesimpulanA B B

Hipotesa

Kesimpulan