Pernyataan 1: a = 4 membagi habis 25

Pernyataan 2: b = 7 bilangan ganjil

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

Penjelasan dengan langkah-langkah:

Diketahui:

Pernyataan 1 : a = 4 membagi habis 25

Pernyataan 2 : b = 7 bilangan ganjil

Ditanya:

Apakah kedua pernyataan di atas termasuk modus ponens yang sah atau tidak

Jawab:

Modus ponens

Premis 1 : p ⇒ q

Premis 2 : p

Kesimpulan= q

Atau dapat 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

Pembuktian apakah kedua pernyataan tersebut sah atau tidak.

[(p ⇒ q) ∧ p] ⇒ q

S B B  S S  B  B

Jadi, kedua pernyataan di atas termasuk modus ponens karena pernyataan majemuk [(p ⇒ q) ∧ p] ⇒ q adalah tautologi.

Pelajari lebih lanjut

Pelajari lebih lanjut tentang materi logika matematika pada link

yomemimo.com/tugas/10281471

#BelajarBersamaBrainly

#SPJ1