Nama : Naila Nurul Azmy

NIM : 20190910126

Kelas : SINFC – 2019 – 04

Tugas : Logika Informatika

1. Dari soal dislide sebelumnya (argumen dan ekvivalensi) buat tabel kebenarannya.
Jawab :
p →q
q→r
p→r

“Jika p hanya jika q dan q hanya jika r, maka p hanya jika r”

Statemen di atas kalau diubah kedalam simbol adalah sbb:
p → q, q → r ⱶ p → r

2. Tentukan argumen berikut :

Jika saya belajar maka saya tidak gagal ujian
Jika saya tidak bermain catur, maka saya belajar
Tenyata saya gagal ujian
...............................................................................
Berarti waktu itu saya bermain catur
Jawab :
Keterangan :
P = saya belajar
Q = saya tidak gagal ujian
R = saya tidak bermain catur
p →Q = jika saya belajar maka saya tidak gagal ujian
R→P = jika saya tidak bermain catur maka saya belajar
~Q →~R = ternyata saya gagal ujian berarti waktu itu saya bermain catur
Maka berlaku argumen silogisme hipotesis

3. Buat tabel kebenaran dari argumen berikut :

p → q, r → ~q ⱶ r → ~p

P Q r p→r q→r p→r

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

4. Buktikan
(p Ʌ q) → r ≡ (p →r) Ѵ (q → r)

(p^q) R (p→r (q→r)

)
T T T F
T F T F
F T F T
F F F F
F T F F
F F F F
F T T T
F F F T

TUGAS SEBELUM UTS

1. Buktikan dengan menggukan label kebenaran bahwa negasi (lingkatan) p dan q,p dan q, atau q,p→q
secara logik ekuivalen berturut turut dengan kata lain buktikan.

p q (p^q) →r (p→r) (p Ʌ q) → r ≡ (p →r) Ѵ (q → r)

T T T T T F

T F T F F T

F T T F F F

F F F F T T