Nama : Nugraha Krismita Tiwan

NIM : 702018012

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

Jika saya menyukai Informatika, maka saya belajar sungguh-sungguh.

Saya belajar sungguh-sungguh atau saya gagal.

 Jika saya gagal, maka saya tidak menyukai Informatika

JAWAB:
Saya menyukai informatika P
Saya belajar sungguh-sungguh Q
Saya gagal R
P Q
Q∨R
∴R ⇁P

Bonus ke P Q R ⇁P P⟶Q Q∨R R⟶ ⇁

P
1 T T T F T T F
2 T T F F T T T
3 T F T F F T F
4 T F F F F F T
5 F T T T T T T
6 F T T T T T T
7 F F T T T T T
8 F F T T T F T
Pada konklusi terdapat 1 nilai F dan 4 nilai T makan argumen INVALID

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

p q
 r  p

r

JAWAB :

Bonus ke P Q ⇁Q ⇁R P⟶ ⇁ ⇁R⟶P R
Q
1 T T F F F T T
2 T T F T F T F
3 T F T F T T T
4 T F T T T T F
5 F T F F T T T
6 F T F T T F F
7 F F T F T T T
8 F F T T T F F
Pada konklusi terdapat 1 nilai F dan 3 nilai T, maka argumen INVALID.

3. Tunjukkan bahwa R adalah penyimpulan yang valid dari premis/fakta :

P  Q, Q  R, P

JAWAB :

P⟶Q

Q⟶R R adalah pemyimpulan yang VALID.

 Q⟶R modus ponen

R
∴P

 P→Q modus ponen

Q
∴P

 P
 Jadi, R benar penyimpulan yang VALID.

4. Tunjukkan bahwa R adalah kesimpulan yang valid dari premis/fakta :

P Q, R  P, Q

JAWAB :
P⟶ ⇁Q
⇁R⟶ P R adalah penyimpulan yang VALID.
Q

 ⇁R⟶P modus Tollens

R
∴⇁P

 P⟶ ⇁Q modus Tollens
⇁P
∴P

 Q
Jadi, R benar penyimpulan yang VALID.

5. Tunjukkan bahwa P merupakan kesimpulan yang valid dari proposisi :

P Q, R  Q, R

JAWAB :

P⟶ ⇁Q

R⟶Q ⇁P merupakan kesimpulan yang VALID.

 P⟶ ⇁Q modus Tollens
⇁P
∴Q

 R⟶Q modus Ponen

Q
∴R

 R
Jadi, ⇁P benar penyimpulan yang VALID.
6. Diberikan argumentasi Jika suatu sudut lancip, maka pelurusnya tumpul. Pelurusnya sudut A
tidak tumpul. Jadi sudut A tidak lancip. Pola argumentasi di atas didasarkan atas prinsip ……
a. Modus Ponens
b. Modus Tollens
c. Tautologi
d. Silogisme
e. Kontradiksi
JAWAB :
Lancip P
Tumpul Q
P⟶Q
⇁Q Maka prinsipnya modus Tollens
∴ ⇁P

B. MODUS TOLLENS

7. Gunakan prinsip inferensi untuk menurunkan s dari hipotesa-hipotesa :

( s∨q ) → p
¬a
p→a
JAWAB :
(s ∨ q) ⟶ p
⇁a menurunkan ⇁s
p⟶a
 (s ∨ q) ⟶ p
⇁s
∴⇁p

 p⟶a
⇁p
∴ ⇁a

 ⇁a

8. Perhatikan hipotesa-hipotesa di bawah ini :

a. Jika saya belajar atau jika saya jenius, maka saya akan lulus ujian Matematika
b. Saya tidak diizinkan untuk mengambil mata kuliah Matematika Diskrit
c. Jika saya lulus ujian Matematika, maka saya diizinkan untuk mengambil mata kuliah
Matematika Diskrit
d. Saya tidak belajar
Misalkan :

b : Saya belajar
 j : Saya jenius

m : Saya lulus ujian matematika

s : Saya diizinkan mengambil mata kuliah Matematika Diskrit

Nyatakan kalimat-kalimat di atas dengan simbol-simbol logika !

Buktikan bahwa saya tidak belajar!

JAWAB :

b : Saya belajar

j : Saya jenius

m : Saya lulus ujian matematika

s : Saya diizinkan mengambil mata kuliah Matematika Diskrit

a. (b ∨ J) ⟶m
b. ⇁s
c. m⟶s buktikan saya tidak belaja ⇁b
d. ⇁b

 ⇁b

 (b ∨ j) ⟶m modus tidak diketahui

⇁b
∴⇁ m

 m⟶ s modus tollens
⇁m
∴⇁ s

 ⇁s

Jadi, terbukti bahwa saya tidak belajar.