Pernyataan 1: a = 4 membagi habis 25

Pernyataan 2: b = 7 bilangan ganjil

Kedua pernyataan tersebut merupakan modus ponens yang sah karena pernyataan majemuk [(p ⇒ q) ∧ p] ⇒ q merupakan tautologi.

Penjelasan dengan langkah-langkah:

Diketahui:

Pernyataan 1: a = 4 membagi habis 25

Pernyataan 2: b = 7 bilangan ganjil

Ditanyakan:

Kedua pernyataan tersebut merupakan modus ponens yang sah atau tidak.

Jawab:

Modus ponens:

Premis 1: p ⇒ q

Premis 2: p

______________

Kesimpulan: q

Atau bisa ditulis [(p ⇒ q) ∧ p] ⇒ q

Pernyataan tersebut sah bila pernyataan implikasi tersebut benar.

Premis 1: Jika a = 4 membagi habis 25 maka b = 7 bilangan ganjil

Premis 2: a = 4 membagi habis 25

_______________________________________________

Kesimpulan: b = 7 bilangan ganjil

Kita cek kedua pernyataan tersebut sah atau tidak.

[(p ⇒ q) ∧ p] ⇒ q

 S B B  S S  B  B

Jadi, kedua pernyataan tersebut merupakan modus ponenskarenapernyataan majemuk [(p ⇒ q) ∧ p] ⇒ q merupakan tautologi.

Pelajari lebih lanjut

Pelajari lebih lanjut tentang materi logika matematika pada

yomemimo.com/tugas/10281471

#BelajarBersamaBrainly #SPJ1