LOGIKA MATEMATIKA

v = atau

^ = dan

=> = maka

(p ˅ q) ˅ (p → q)

ekuivalen dengan ((p ˅ q) ˅ (~p ˅ q))

ekuivalen dengan ((~p ˅ q) ˅ (p ˅ q))

ekuivalen dengan (~(p ^ ~q) ˅ (p ˅ q))

ekuivalen dengan ((p ^ ~q) → (p ˅ q))

(p ^ ~q) = Asti berangkat naik motor dan tidak naik ojek

(p ˅ q) = Asti berangkat naik motor atau ojek

pernyataan majemuknya menjadi :

"Jika Asti berangkat naik motor dan tidak naik ojek maka Asti berangkat naik motor atau ojek"

Namun perhatikan, Disana terdapat/diketahui bahwa Asti tidak naik ojek. Maka pernyataan majemuk yang benar :

"Jika Asti berangkat naik motor dan tidak naik ojek maka Asti berangkat naik motor"

Dengan menggunakan hukum implikasi, didapat bahwa konklusi atau kesimpulan dari pertanyaan majemuknya adalah :

"Asti berangkat naik motor dan tidak naik ojek"