Penarikan kesimpulan dari yang sah adalah

Ⅰ. p v q Ⅱ. p → q Ⅲ. p → ~q

~p q → ~r q v r

∴ q ∴ ~r → ~p ∴ p → r

Penarikan kesimpulan sah jika setiap argumen dan konklusi bernilai benar.

Ⅰ. p v q jika q harus benar

~p ~p harus benar, maka p salah

∴ q S V B benar

Jadi nomor Ⅰ sah

Ⅱ. p → q p → q

q → ~r seharusnya q → ~r benar silogisme

∴ ~r → ~p ∴ p → ~r

p → ~r ☰ r → ~p

Penarikan kesimpulan nomor II tidak sah

Ⅲ. p → ~q p → ~q

q v r ditulis ~q → r

∴ p → r ∴ p → r benar silogisme

Penarikan kesimpulan nomor III sah

Jadi, yang sah adalah nomor I dan III.