Ⅰ. 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 jikalau q harus benar
p p mesti benar, maka p salah
∴ q S V B benar
Makara nomor Ⅰ sah
Ⅱ. p → q p → q
q → r sebaiknya 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
Makara, yang sah yaitu nomor I dan III.