Diketahui premis-premis: (i) Jika Mesir bergolak dan tidak aman
maka beberapa warga asing dievakuasi
(ii) Semua warga asing tidak dievakuasi
Kesimpulan dari kedua premis tersebut adalah
Mesir tidak bergolak atau aman
Pembahasan:
p =Mesir bergolak
q =Mesir aman
r =Warga asing dievakuasi
(p⋀~q) ⟹ r
~r
~(p⋀~q) ≡ ~p ∨ q
Maka kesimpulannya:
Mesir tidak bergolak atau aman.