ingkaran dari kontraposisi jika tidak apa api,maka tidak ada asap

Misal:
~q = tidak ada api
~p = tidak ada asap

Ingkaran kontraposisi:
~q ⇒ ~p = q ∧ ~p

Jadi ingkaran dari pernyataan "Jika tidak ada api maka tidak ada asap" adalah "Ada api dan tidak ada asap"