DASAR Logika
DASAR Logika
1. Kalimat Deklaratif
a. 2+2=4
b. 4 adalah bilangan prima
c. Jakarta adalah ibukota negara Indonesia
d. Penduduk Indonesia berjumlah 50 juta
1
4 → Implikasi Jika ....... maka .......
5 ↔ Bi – implikasi ......bila dan hanya bila ......
Misalkan :
2
Contoh :
Penyelesaian :
bkv~s
d ~ k v (k ^ ~ s)
3
2. Inferensi Logika
4
hipotesa benar tetapi ada kesimpulan yang salah, maka
argumen tersebut dikatakan invalid.
Kalau suatu argumen dan semua hipotesanya
bernilai benar maka kebenaran nilai konklusi dikatakan
sebagai ` diinferensikan (diturunkan) dari kebenaran
hipotesa `.
Untuk mengecek apakah suatu argumen
merupakan kalimat yang valid, dapat dilakukan langkah
– langkah sebagai berikut :
Contoh
a pv(qvr) b p→(qv~r)
~r q→(p^r)
---------------- --------------------
pvq p→r
5
Penyelesaian :
6
4 T F F T T F T T F
5 F T T F T F T F T
6 F T F T T F T F T
7 F F T F F F T T T
8 F F F T T F T T T
7
3 Penambahan Disjangtif p q
------- -------
pvq pvq
7 Dilema pvq
p→r
q→r
---------
r
8 Kojungsi p
q
-------
p^q
8
Contoh :
9
Penyelesaian :
(a) p→q
(b) rvs
(c) r→t
(d) ~q
(e) u→w
(f) s→p
10
Inferensi yang dapat dilakukan adalah sebagai berikut :
11
12