1.

  Perhatikan dengan seksama argumen berikut ini:

Jika Badu senang,
senang, maka Siti senang ddan
an jika Badu sedih, maka Siti sedih.
sedih. ..Siti
Siti tidak senang atau siti tidak sedih. Dengan
demikian, Badu tidak senang atau Badu tidak sedih.   Buatlah ekspresi logikanya dan buktikan apakah termasuk tautologi,
kontradiksi, atau contingent dengan tabel kebenaran.

JAWAB:  
JAWAB:
A.  Badu senang

B. Siti senang
C.   Badu sedih
D.  Siti sedih

Maka akan terbentuk ekspresi:

= ((A→B) ˄ (C → D)) → ((~B ˅ ~D) → (~A ˅ ~C))

((A→B) ˄ (C → D)) → ((~B ˅ ~D) → (~A ˅ ~C))

((~B ˅ ~D) → (~A ˅ ~C))

Table kebenaran:

A B C D ~A ~B  ~C ~D (A→B)  (C → D)  ((A→B) ˄ (C → D))   (~B ˅ ~D)  (~A ˅ ~C)  

T T T T F F F F T T T F F T T
T T T F F F F T T F F T F F T
T T F T F F T F T T T F T T T
T F F F F T T T F T F T T T T
T F T T F T F F F T F T F F T
T F T F F T F T F F F T F F T
F T F T T F T F T T T F T T T
F T F F T F T T T T T T T T T
F T T T T F F F T T T F T T T
F F T F T T F T T F F T T T T
F F F T T T T F T T T T T T T
F F F F T T T T T T T T T T T
= Ekspresi terbukti TAUTOLOGI
logika tersebut terbukti 
2.  Buktikan bahwa hukum-hukum logika, yakni
a. Silogisme disjungtif
 b. Modus ponen
adalah ekuivalen dengan 1 atau tautologi.
JAWAB: 
a.  Silogisme disjungtif

( p ˅ q) ˄ ┐q → p
≡  ┐  ┐q ] ˅ p 
┐ [ ( p ˅ q) ˄ ┐q
≡  ┐
┐ [ ( p ˅ ┐q ) ˅ (q ˅ ┐q ) ] ˅ p 
≡  ┐
┐ [ ( p ˅ ┐q ) ˅ 0 ] ˅ p 
≡  ┐
┐ ( p ˅ ┐q ) ˅ p 
≡ (┐p ˅ q ) ˅ p 
≡ ( q ˅ ┐p ) ˅ p  
≡ q ˅ (┐ p ˅ p)
≡ q ˅1 
≡ 1
= ( terbukti ekuivalen dengan 1)

 b. Modus ponen

( p → q ) ˄ p → q 
≡ ┐[( p → q ) ˄ p ] ˅ q  
≡ ┐[(┐p ˅ q ) ˄ p] ˅ q 
≡  ┐[(┐p
┐[(┐p ˄ p ) ˅ ( q ˄ p )] ˅ q 
≡ ┐[( 0 ˅ ( q  ˄ p)]  ˅ q 
≡ ┐( q ˄ p ) ˄ q  
≡  ( ┐q ˅ ┐p ) ˅ q  
≡ ( ┐p ˅ ┐q ) ˅ q 
≡ ┐p ˅ ( ┐q  ˅ q 
≡ ┐p ˅ 1 
1
≡
= ( terbukti ekuivalen dengan 1)