KELOMPOK 2 KB 2 Modul 6
KELOMPOK 2 KB 2 Modul 6
∼p ⟹ (r ∧ [∼ 𝒑 ⟹ (𝒓 ∧ ∼ 𝒒)] ∨
P q r ∼p ∼ 𝒒 r ∧ ∼ 𝒒 𝒓 ⟹ 𝒒
∼ 𝒒) (𝒓 ⟹ 𝒒)
B B B S S S B B B
B B S S S S B B B
B S B S B B S B B
B S S S B S B B B
S B B B S S B S B
S B S B S S B S B
S S B B B B S B B
S S S B B S B S B
Karena nilai kebenarannya semua benar, maka Terbukti bahwa [∼p ⟹ (r ∧ ∼ 𝑞)] ∨ (𝑟 ⟹ 𝑞) suatu tautologi.
Contoh Kontradiksi
Buktikan bahwa [(p ∨ ~q) ⇒ (~p ∨ r)] ⟺ (p ⋀ ~r) suatu kontradiksi.
p q r ∼ 𝒑 ∼ 𝒒 ∼r p ∨ ~q ~p ∨ r p ∧ ∼r (p ∨ ~q) ⇒ (~p ∨ r) [(p ∨ ~q) ⇒ (~p ∨ r)] ⟺ (p ⋀ ~r)
B B B S S S B B S B S
B B S S S B B S B S S
B S B S B S B B S B S
B S S S B B B S B S S
S B B B S S S B S B S
S B S B S B S B S B S
S S B B B S B B S B S
S S S B B B B B S B S
Karena nilai kebenarannya semua salah, maka [(p ∨ ~q) ⇒ (~p ∨ r)] ⟺ (p ⋀ ~r) suatu kontradiksi.
Tes Formatif KB 2
3. Pernyataan yang setara dengan pernyataan “Jika setiap
orang menanam pohon maka udara bersih” adalah ….
Penyelesaian:
p : setiap orang menanam pohon
q : udara bersih
“Jika setiap orang menanam pohon maka udara bersih” dapat dinyatakan dengan p ⟹ q
Karena, p ⟹ q ≡ ~ p v q dan p ⟹ q ≡ ~ q ⟹ ~ p
Maka, pernyataan di atas setara dengan :
- Beberapa orang tidak menanam pohon atau udara bersih
- Jika udara tidak bersih maka beberapa orang tidak menanam pohon
4. Pernyataan di bawah ini yang
merupakan kontradiksi adalah. . .
Kontradiksi adalah pernyataan yang selalu bernilai salah untuk setiap substitusi nilai kebenaran
pernyataan tunggalnya
a. ( p q) ( p ~ q)
p q ~q (p q) (p ~ q) ( p q) ( p ~ q)
B B S B S S
B S B S B S
S B S B S S
S S B B S S
b. (a ~ a) b
a b ~a (a ~ a) (a ~ a) b
B B S S S
B S S S S
S B B S S
S S B S S
5. Pernyataan ( ∧ ) ∨ ~ ∨ ~ ) ⇒ ∨ ) dapat
disederhanakan menjadi. . . .
(p q) (~ p ~ q) (p r ) ~ ((p q) (~ p ~ q)) (p r )
(~ (p q) ~ (~ p ~ q)) (p r ) hukum implikasi
(~ (p q) (p q)) (p r)
S (p r ) hk. komplemen (negasi)
(p r) hukum identitas
Penyelesaian:
p : harga BBM naik
q : kebutuhan pokok akan naik
“Jika harga BBM naik maka harga kebutuhan pokok akan naik”
dapat dinyatakan dengan p q
p q ~q (~ q q) (p (~ q q)) p ( p (~ q q))
B B S B B B
B S B B B B
S B S B S B
S S B B S B