Premis 1. Jika hari ini mendung maka akan turun hujan

by
2. Tidak turun hujan.
Kesimpulan yg sah adalah
Hari ini tak mendung
Pembahasan:
1. Jika hari ini mendung maka akan turun hujan.
2. Tidak turun hujan.
Kesimpulan:
p ⇒ q
q     
∴ p
Kesimpulan : Hari ini tak mendung.
  Lima orang pengurus OSIS berdiskusi mengelilingi sebuah meja bundar.