Ujian Akhir Praktikum Logika

D3 Manajemen Informatika
Fakultas Matematika dan Ilmu Pengetahuan Alam
Universitas Lampung

1. Tentukan dengan menggunakan tabel kebenaran proposisi – proposisi berikut

ini!
a) {(pvq)⇒r } ⇔{ (p⇒r)∧(q⇒r) }
b) {p⇒(q∧r) }⇔{(p⇒q)∧(p⇒r) }
c) {(p∧q)⇒r}⇔{(p∧ ∼r)⇒∼q)
d) {(p∧q)⇒r}⇔{(p⇒r) v (q⇒r)}
e) (p⇒r)⇒{(p∧q)⇒r}∧{p⇒(q∧r) }⇒(p⇒q)

2. Tentukanlah Konvers, Invers, dan Kontraposisi dari premis berikut ini :

a) Jika x=5 , Maka x2=25
b) Jika x2 bilangan asli, Maka x bilangan asli
c) Jika ∆ABC sama kaki, Maka ∠A= ∠C

3. Tentukan dengan benar simbol – simbol matematis dari peryataan ini serta
tentukanlah gerbang logikanya.
a) Pemuda itu tinggi dan tampan
b) Pemuda itu tinggi tapi tidak tampan
c) Pemuda itu tidak tinggi maupun tampan
d) Tidak benar bahwa pemuda itu pendek atau tidak tampan
e) Pemuda itu tinggi, atau pendek dan tampan
f) Tidak benar bahwa pemuda itu pendek maupun tampan

4. Sebutkan dan Tuliskan hukum-hukum apa saja yang digunakan pada saat
menyelesaikan persoalan Validitas Argumen !