Professional Documents
Culture Documents
Logika Matematika
Logika Matematika
Konjungsi
p q r p ∧q p ∧r q∧r
B B B B B B
B B S B S S
B S B S B S
B S S S S S
S B B S S B
S B S S S S
S S B S S S
S S S S S S
Sehingga :
p ∧q=S
p ∧r =S
q ∧ r=S
Disjungsi
p q r p ∨q p ∨r q∨r
B B B B B B
B B S B B B
B S B B B B
B S S B B S
S B B B B B
S B S B S B
S S B S B B
S S S S S S
Sehingga :
p ∨q=B
p ∨r =B
q ∨ r=S
Implikasi
p q r p→q p →r q→r
B B B B B B
B B S B S S
B S B S B B
B S S S S B
S B B B B B
S B S B B S
S S B B B B
S S S B B B
Sehingga :
p → q=S
p →r =S
q → r=B
Biimplikasi
p q r p⟺q p⟺r q ⟺r
B B B B B B
B B S B S S
B S B S B S
B S S S S B
S B B S S B
S B S S B S
S S B B S S
S S S B B B
Sehingga :
p ⟺ q=S
p ⟺ r=S
q ⟺r =B
B. Tentukan apakah pernyataan majemuk berikut merupakan tautologi atau kontradiksi
1.
a. p ∧q → r
p q r p ∧q p ∧q → r
B B B B B
B B S B S
B S B S B
B S S S B
S B B S B
S B S S B
S S B S B
S S S S B
p q p ∨q p ∨q ⟺ q
B B B B
B S B S
S B B B
S S S B
p q r ( p →r ) p→q ( p →r ) ∨ ( p → q )
B B B B B B
B B S S B B
B S B B S B
B S S S S S
S B B B B B
S B S B B B
S S B B B B
S S S B B B
b. ( p ⟺ r )
p r ( p⟺r)
B B B
B S S
B B B
B S S
S B S
S S B
S B S
S S B