Penarikan Kesimpulan yang Valid

Oleh:
Eko Hari Parmadi
Apa Kesimpulannya ?
Premis 1: Ibu tidak membeli baju atau ibu tidak membeli sepatu
atau ibu membeli buah-buahan
Premis 2: Ibu membeli baju
Premis 3: Ibu membeli sepatu
Simbol logika ?
p: Ibu membeli baju
q: Ibu membeli sepatu
r: Ibu membeli buah-buahan

premis 1: ¬(p∧q)∨r
premis 2: p
premis 3: q
Kesimpulan: ???
Penyelesaian:
Aturan Conjuction
premis 2: p
premis 3: q

kesimpulan: 𝑝 ∧ 𝑞 (𝑝𝑟𝑒𝑚𝑖𝑠 4)

Aturan Elimination
premis 4: 𝑝 ∧ 𝑞
premis 1: ¬(p∧q)∨r

kesimpulan: r
Jadi Ibu membeli buah-buahan
Bukti bahwa Penarikan kesimpulan valid
Apa kesimpulannya ?
Premis 1: Jika sekarang ini adalah musim
kemarau maka sumur di
belakang rumah kering
Premis 2: Sumur di belakang rumah tidak
kering
Premis 3: Sekarang ini adalah musim
kemarau atau Petani menanam
padi
Dimanakah jam tanganku ?
Premis 1: Jam tanganku tertinggal di
kamar mandi atau di kamar tidur
Premis 2: Jam tanganku tidak tertinggal
di kamar mandi atau jam tangan kupakai
di tangan kiri
Premis 3: Jam tanganku tidak tertinggal
di kamar tidur
Apa kesimpulannya ?
Premis 1 : Adik membalas pesan lewat WA
dan menonton drama di laptop
Premis 2 : Jika adik membalas pesan lewat WA
maka Aku membelikannya Burger
atau Pizza
Premis 3: Aku tidak membelikan Pizza
 Apa kesimpulannya ?
Premis 1: Jika tas kuliahku tertinggal di rumah
maka aku tidak membawa handphone
Premis 2: Jika aku membawa handphone
maka aku dapat memesan
kendaraan secara online
Premis 3: Aku membawa handphone dan aku
dapat memesan kendaraan
secara online