Tugas Rutin Pertemuan 13 Himlog
Tugas Rutin Pertemuan 13 Himlog
NIM : 4222111005
PSPM D 2022
Soal-soal slide 3
p ∨q ⇒ ∼ p
Jawab:
p q ∼p p ∨q p ∨q ⇒∼ p
B B S B S
B S S B S
S B B B B
S S B S B
( p ⇒q)⇒ ∼ p
Jawab:
p q ∼p ( p ⇒ q) ( p ⇒q)⇒ ∼ p
B B S B S
B S S S B
S B B B B
S S B B B
[( p ∧∼r )⇒ ∼ q]⇔(q ∨ r)
Jawab:
( p ⇒∼ q ) ⇔[(q ∧ r )∨∼ p]
Jawab:
p q r ∼p ∼ q ( p ⇒∼ q ) (q ∧ r ) [(q ∧ r )∨∼ p]
B B B S S S B B
B B S S S S S S
B S B S B B S S
B S S S B B S S
S B B B S B B B
S B S B S B S B
S S B B B B S B
S S S B B B S B
Jika diketahui pernyataan p dan q masing-masing bernilai Benar dan Salah, tentukan
nilai kebenaran dari pernyataan dibawah ini!
p ∧q ⇒ ∼ p
Jawab:
p q ∼p ∼q p ∧q ⇒∼ p
B S S S B
Jadi, pernyataan p ∧q ⇒ ∼ p bernilai benar
(∼ p ⇒ ∼q)∧∼ p
Jawab:
p q ∼p ∼q (∼ p ⇒ ∼q) (∼ p ⇒ ∼q)∧∼ p
B S S B B S
Jadi, pernyataan (∼ p ⇒∼ q)∧∼ p bernilai salah
∼ p ∨∼q ⇒ q
p q ∼p ∼q ∼ p ∨∼ q ∼ p ∨∼q ⇒ q
B S S B B B
Jadi, pernyataan ∼ p ∨∼q ⇒ q bernilai benar
Soal-soal slide 16
Soal-soal slide 21
Tentukan kesimpulan/kesimpulan dari premis-premis berikut ini:
1. Premis 1 : Jika Wita tidak kuliah di Boston, maka nilai UAN nya tidak
bagus
Premis 2 : Nilai UAN Wita bagus, atau ia kuliah di Perguruan Tinggi
Swasta
Kesimpulan : Jika Wita tidak kuliah di Boston maka ia kuliah di Perguruan
Tinggi Swasta.
4. Premis 1 : Jika gaya hidup seseorang mewah, maka ia akan sulit untuk
menabung
Premis 2 : Seseorang suka untuk menabung atau ia tidak mempunyai dana
cadangan di hari tua
Premis 3 : Seorang mempunyai dana cadangan di hari tua
Kesimpulan : Gaya hidup seseorang tidak mewah.
6. Premis 1 : Jika air sungai jernih, maka tidak terkandung zat pencemar
Premis 2 : Jika beberapa ikan mati, maka terkandung zat penemar
Kesimpulan : Jika air sungai jernih maka semua ikan tidak mati.
1. p1 : p ⇒∼ q
p2 : q
∴∼p
2. p1 :∼ p ∨ q
p2 :∼ q
∴p
3. p1 :∼ q ⇒∼ p
p2 : q ⇒ r
∴ p ⇒r
4. p1 : p ∨ q
p2 : q ⇒ ∼r
∴∼p
5. p1 :∼ p ∨ q
p2 : q ⇒ r
p3 :∼ r
∴p
6. p1 : p ⇒∼ q
p2 : q ⇒ ∼r
p3 : r
∴∼p
7. p1 : p ⇒ q
p2 :∼ q ∨r
p3 :r ⇒ s
∴ p ⇒s
8. p1 : p ∨ q
p2 : q ⇒ ∼r
p3 :s ⇒ r
∴ ∼ p⇒∼s