1.

Tentukan apakah dari ekspresi ekpresi logika berikut ini termasuk Tautologi ,Kontradiksi, atau
Kontinguensi
a. { A ^ ( A → B ) } →B
b. { A → ( B → C ) } → { ( A→ B ) → ( A → C ) }
c. ( A → B ) ↔ ( ~A v B )
Jawab:

a.
A B A→B A ^ ( A → B ) { A ^ ( A → B ) } →B
1 1 1 1 1
1 0 0 0 1
0 1 1 0 1
0 0 1 0 1
Ekspresi Logika “Tautologi”
b.
1 2
A B C B→C A→ B A→C 1→2
A → ( B → C ) ( A→ B ) → ( A → C )
1 1 1 1 1 1 1 1 1
1 1 0 0 1 0 0 0 1
1 0 1 1 0 1 1 1 1
1 0 0 1 0 0 1 1 1
0 1 1 1 1 1 1 1 1
0 1 0 0 1 1 1 1 1
0 0 1 1 1 1 1 1 1
0 0 0 1 1 1 1 1 1
Ekspresi Logika “Tautologi”

c.
A B ~A A → B ~A v B ( A → B ) ↔ ( ~A v B )
1 1 0 1 1 1
1 0 0 0 0 1
0 1 1 1 1 1
0 0 1 1 1 1
Ekspresi Logika “Tautologi”

2. P1 : Jika Bedu senang, maka siti senang ,dan jika bedu sedih ,maka siti sedih
P2 : Siti tidak senang atau siti tidak sedih
Dengan demikian bedu tidak senang atau bedu tidak sedih.
Buatlah ekspresi logikanya dan buktikan apakah termasuk Tautology, Kontradiksi atau Kontinguensi
dan table kebenarannya.
Jawab:
:Pengaliasan:
A : Jika bedu senang
B : Siti senang
C : Jika Bedu sedih
D : Siti sedih
:Logika Matematika:
Akhir: {( A → B ) ^ ( C → D )} ^ {( ~B v ~D )} → ( ~A v ~C )

A B C D ~A ~B ~C ~D ~B v ~D ~A v ~C A→B C→D Akhir

1 1 1 1 0 0 0 0
1 1 1 0 0 0 0 1
1 1 0 1 0 0 1 0
1 1 0 0 0 0 1 1
1 0 1 1 0 1 0 0
1 0 1 0 0 1 0 1
0 0 0 1 1 1 1 0
0 0 0 0 1 1 1 1
0 1 1 1 1 0 0 0
0 1 1 0 1 0 0 1
0 1 0 1 1 0 1 0
0 1 0 0 1 0 1 1