LATIHAN 1
Proposisi majemuk p  ~(p  q) adalah sebuah tautologi. Tunjukkan degan tabel kebenaran
Jawab :
p
q
pq
~(p  q)
p  ~(p  q)
T
T
T
F
T
T
F
F
T
T
F
T
F
T
T
F
F
F
T
T
Terbukti proposisi majemuk p  ~(p  q) ialah tautologi (selalu benar)
LATIHAN 2
Tunjukkan Proposisi majemuk (pq)  ~(pq) adalah sebuah kontradiksi.
Jawab :
p
T
T
F
F
q
T
F
T
F
( pq)
T
T
T
F
~(pq)
F
F
F
T
(p  q)
T
F
F
F
(pq)  ~(pq)
F
F
F
F
Terbukti Proposisi majemuk (pq)  ~(pq) ialah kontradiksi (selalu salah)
LATIHAN 3
Tentukan konvers, invers, dan kontraposisi dari proposisi bersyarat: “Jika Amir mempunyai
pengetahuan, maka ia orang kaya”
Jawab :
Misal :
Amir mempunyai pengetahuan = p
Ia orang kaya = q
Konvers : “if p then q”  “if q then p”
 “Jika Amir orang kaya, maka ia mempunyai pengetahuan”
Invers : “if p then q”  “if ~p then ~q”
 “Jika amir tidak mempunyai pengetahuan , maka ia bukan orang kaya”
Kontraposisi : “if p then q” 
“if ~q then ~ p”
 “Jika Amir bukan orang kaya, maka ia tidak punya pengetahuan”