premis 1 : jika x tidak habis di bagi 2, maka x bilangan ganjil.
premis 2 : x bilangan genap.
Tentukan kesimpulan premis berikut.
Premis 1 p->q
Premis 2 ~q
Konklusi ~p (modus tollens)
X habis dibagi 2
premis 1 : jika x tidak habis di bagi 2 , maka x bilangan ganjil.
premis 2 : x bilangan genap
____________________________________
kesimpulan : x habis di bagi 2