1.

Perhatikan dengan seksama argumen berikut ini:

Jika Badu senang, maka Siti senang dan jika Badu sedih, maka Siti sedih. .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:
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 logika tersebut terbukti TAUTOLOGI
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
≡ ┐ [ ( p ˅ q) ˄ ┐q ] ˅ p
≡ ┐ [ ( 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 ) ˅ ( 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)