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.
  Himpunan penyelesaian persamaan: cos 2x + cos x = 0, untuk 0 ≤ x ≤ 2π