“Jika dia
pemilik apartemen, dia yang membayar pajak bumi dan bangunan” dan
pernyataan “dia pemilik rumah dan dia tidak membayar pajak bumi dan
bangunan” ekuivalen?
p : Dia pemilik rumah
q : Dia membayar pajak bumi dan bangunan
p -> q : jika dia pemilik rumah, dia membayar pajak bumi dan bangunan.
p ^ ~p : Dia pemilik rumah dan dia tidak membayar pajak bumi dan bangunan.
Dan penyelesaiannya adalah :