Nama : Marlens Albert Nenobais

Nim : 702017015

Matkul : Matematika Diskrit

Soal

1. Buktikanlah bahwa porposisi A ≡ B, dimana A : p → (p ∨ q) dan B : (p ∧ q → (p ↔ q)

p q Pvq p → (p ∨ q) (p ∧ q ) (p ↔ q) (p ∧ q )→ (p ↔ q)
T T T T T T T
T F T T F F T
F T T T F F T
F F F T F T T
A≡B

Proposisi A ≡ B terbukti ekuivalen .

Catatan untuk lens : jadi untuk membuktikan nya aku pakai table kebenaran, jadi table nya aku Cuma
pakai 4 karena proposisi nya hanya dua yaitu p dan q. jadi kamu harus uraikan dulu satu2 dan ingatkan
devinisi disjungsi, konjungsi, implikasi dan biimplikasi jadi gak perlu aku jelasin lagi.
Contoh : A : p → (p ∨ q)

p q
T T
T F
F T
F F
B : (p ∧ q → (p ↔ q)
Pvq p → (p ∨ q)
T T
T T
T T
F T

p q (p ∧ q ) (p ↔ q) (p ∧ q )→ (p ↔ q)
T T T T T
T F F F T
F T F F T
F F F T T
Nah liat tablel yang warna kuning itu hasil nya sama yaitu T,T,T,T Maka terbukti kalau Proposisi A ≡ B
ekuivalen.
Semoga kamu paham 😊

2. Periksa dengan tabel kebenaran apakah argumen berikut ini valid/invalid!

Jika saya menyukai bidang kesehatan, maka saya belajar sungguh-sungguh.

Saya belajar sungguh-sungguh atau saya gagal.

∴ Jika saya gagal, maka saya tidak menyukai menyukai bidang Kesehatan
 Notasi simbolik Bentuk argument :
P = Saya menyukai bidang Kesehatan p→q
Q= saya belajar sungguh-sungguh qvr
R= saya gagal ∴r→~p
Tabel kebenaran :

p q r ~p p→q qvr r→~p

T T
T T
T F
T F
F T
F T
F F
F F
T F T T F
F F T T T
T F F T F
F F F T T
T T T F T
F T T T T
T T T T T
F T T F T

Kolom ke 5 dan 6 adalah premis dan baris kritis terletak pada baris 1,2,6 dan 7. konklusi atau kesimpulan
pada baris pertama bernilai F atau salah hal ini membuat atau menyebabkan argument ini bernilai
Invalid.
Catatan : pahamin atau nonton aja contoh soal ibu mila di video argument valid dan tidak valid.

3. Periksa dengan tabel kebenaran apakah argumen berikut ini valid/invalid!

p → ¬q
¬r → p
q
∴r
Table kebenaran :

p q r ~q ~r p → ~q ¬r → p
T T T F F F F
T T F F T F T
T F T T F T F
T F F T T T T
F T T F F T T
F T F F T T T
F F T T F T T
F F F T T T T

Pada table kebenaran di atas baris ke 4 adalah baris kritis dan kolom 1, 6 dan 7 adalah premis . dan
konklusi atau kesimpulan pada baris ke 4 bernilai salah maka argument ini bernilai Invalid.

Catatan : ini sama kayak soal nomor 2 jadi pahami lagi video nya ya sayang 😊
4. Tunjukkan bahwa ¬P merupakan kesimpulan yang valid dari proposisi :
P → ¬Q
R→ Q
R
Table kebenaran :

p q r ¬P ¬q p → ¬q r→ q
T T T F F F T
T T F F F F F
T F T F T T T
T F F F T T T
F T T T F T T
F T F T F T F
F F T T T T T
F F F T T T T

Pada table kebenaran di atas baris ke 3,5 dan 7 adalah baris kritis dan kolom 3, 6 dan 7 adalah premis .
meskipun pada baris ke 5 dan 7 bernilai benar tetapi pada konklusi atau kesimpulan pada baris ke 3
bernilai salah maka argument ini bernilai Invalid.

5. Gunakan prinsip inferensi untuk menurunkan ¬s dari hipotesa-hipotesa :

(a) ( s V q ) → p
(b) ¬a
(c) P → a

Jawab :

1. P → a fakta (c)
¬a fakta (b)
∴¬p modus Tollens

2. ( s V q ) → p fakta (a)
¬p kesimpulan pertama

∴s

Catatan : aku kurang yakin dengan yang ini tapi kalo kamu mau koreksi kamu liat aja di video kaidah
inferensi