Nama : Budi Al Talarik

Kelas : TI.19.F1
NIM : 311910597

1. Diketahui argumen di bawah ini :

Jika saya belajar Logika Informatika maka saya lulus Ujian Akhir Semester
Jika saya tidak bermain game maka saya belajar Logika Informatika
Ternyata saya tidak lulus Ujian Akhir Semester

Berarti waktu itu saya bermain game

Apakah argumen di atas valid ?, tunjukan dengan Tabel Kebenaran yang jelas
Penyelesaian :
p q r p->q ~r ~q ~r->p p- p- p-
>q^~r- >q^~r >q^~r-
>p ->p~q >p~q-
>r
B B B B s S B B S B
B B S B B S B B S B
B S B S S B B S S B
B S S S B B B S S B
S B B B S S B B S B
S B S B B S S S S B
S S B B S B B B B B
S S S B B B S S S B

Jadi, Kesimpulannya Argumentasi diatas adalah Valid

2. Negasikan untuk setiap pernyataan berikut :

a. Jika pelayanan hotel tidak memuaskan maka beberapa pengunjung tidak
kerasan
b. Semua mahasiswa telah mengumpulkan tugasnya dan dosen tersebut hadir
c. Beberapa dokter bukan dokter spesialis atau pasien sakit gigi

Penyelesaian:

Dalam bentuk negasi:

a. Jika pelayanan hotel memuaskan maka pengunjung kerasan

b. Beberapa mahasiswa tidak mengumpulkan tugasnya dan dosen tersebut tidak
hadir
 c. Semua dokter adalah dokter spesialis atau pasien tidak sakit gigi
3. Diketahui pernyataan (p  (q  r)) tuliskan dalam bentuk klausul
Penyelesaian:

(p  (q  r)) klausulnya sebagai berikut:

I : (p  (q v r))

N : p v  (q v r)
: p v (q  r)
: p v (q  r)
D : (p v q)  (p v r)
O : {p, q}
{p, r}