Professional Documents
Culture Documents
OM SUASTIASTU
NAMA KELOMPOK
1. I WAYAN WIDHI DIRGANTARA
(0908405019)
2. MADE KRISNA SUDARTA (0908405025)
3. I GST AYU KMG KUSUMA WARDHANI
(0908405046)
4. ADE KUSUMA DEWI (0908405057)
LOGIKA
Misal:
a. (p) = B
dibaca nilai kebenaran pernyataan p adalah B
b. (q) = S
dibaca nilai kebenaran pernyataan q adalah S
c. a: 5 adalah kelipatan 10
nilai kebenarannya (a)=S
Untuk menentukan nilai kebenaran suatu pernyataan,kita
dapat memakai dasar empiris dan dasar tak empiris.
a.Dasar empiris yaitu menentukan benar atau salah dari suatu
pernyataan berdasarkan fakta yang ada atau dijumpai dalam
kehidupan sehari-hari atau melalui pengamatan lebih
dahulu.Pernyataan yang demikian disebut pernyataan faktual.
misal: Jakarta adalah ibukota Indonesia
b.Dasar tak empiris yaitu menentukan nilai benar atau salah
dari sebuah pernyataan dengan memakai bukti atau
perhitungan-perhitungan dan bersifat mutlak,tidak tergantung
waktu dan tempat.
misal : jumlah sudut sebuah segitiga adalah 1800.
~p
4.Pernyataan Majemuk
4.1 Konjungsi
Pernyataan majemuk konjungsi adalah pernyataan
majemuk dengan kata hubung DAN ( ).
p
pq
4.2 Disjungsi
Pernyataan majemuk disjungsi adalah pernyataan
majemuk dengan kata hubung atau ( V ).
p
pq
4.3 Implikasi
Implikasi adalah pernyataan majemuk yang tersusun
dari dua buah pernyataan,misal pernyataan p dan q
dalam bentuk: jika p maka qdan dinotasikan p q.
p
pq
4.4 Biimplikasi
Pernyataan majemuk biimplikasi adalah pernyataan
majemuk dengan kata hubung jika dan hanya jika ().
p
pq
Contoh :
@ Dia jendral jika dan hanya jika dia bintang 4 (B)
@ Dia jenderal jika dan hanya jika dia bintang 3 (s)
5.Tautologi,Kontradiksi,Ekuivalen
si
5.1 Tautologi dan Kontradiksi
Tabel 1
p
p q
(p q)p
Tabel 2
p
~q
p ~q
pq
(p ~q) (pq)
5.2 Ekuivalensi
p
pq
qp
(p q)(q p)
6.Ingkaran dari
konjungsi.disjungsi,implikasi
dan biimplikasi
a.Ingkaran dari konjungsi p q adalah ~p ~q
b.Ingkaran dari disjungsi p q adalah ~p ~q
c.Ingkaran dari implikasi p q adalah p ~q
d.Ingkaran dari biimplikasi pq adalah (p ~q) (q
~p)
7.Konvers,Invers dan
Kontraposisi
Dari implikasi pq dapat dibentuk implikasi baru.
a.qp disebut konvers dari implikasi pq
b.~p~q disebut invers dari implikasi pq
c.~q~p disebut kontraposisi dari implikasi pq
Contoh:
jika harga BBM naik maka harga barang naik
a. konvers : jika harga barang naik maka harga BBM naik.
b.invers : jika harga BBM tidak naik maka harga barang
tidak naik.
c.kontraposisi : jika harga barang tidak naik maka harga
BBM tidak naik.
p q
konvers
qp
Kontraposisi
~p~q
invers
~q~p
Secara umum:
a.Ingkaran dari Setiap p adalah q adalah
Beberapa p bukan q.
b.Ingkaran dari Beberapa p adalah q adalah
setiap p bukan q.
9.Penarikan Kesimpulan
9.1 Modus Ponens
Misal,diketahui premis pertama pq dan premis
kedua p.Dari premis-premis itu dapat diambil konklusi
q.Pengambilan dengan cara seperti ini disebut modus
ponens atau kaidah pengasingan.
pq
premis 1
p
premis 2
q
konklusi
Contoh:
Premis 1:jika ani naik kelas maka dia dibelikan
sepeda
Premis 2:ani naik kelas
9.3 Silogisme
Misalkan premis pertama pq dan premis kedua
qr.Dari premis-premis ini dapat ditarik konklusi
pr.Penarikan simpulan dengan cara itu disebut kaidah
silogisme.
pq premis 1
qr premis 2
pr konklusi
Contoh:
Premis 1:jika ari rajin,maka ari pandai
Premis 2:jika ari pandai,maka ari juara kelas
Konklusi:jika ari rajin maka ari juara kelas
10.Hukum Logika
1.Hukum Komutatif
pqqp
pqqp
(p q) (q p)
TABEL KEBENARAN HUKUM KOMUTATIF
p
pvq
qvp
2.Hukum Asosiatif
p (q r) (p q) r
p (q r) (p q) r
TABEL KEBENARAN HUKUM ASOSIATIF
p
qvr
pvq
pv(q
vr)
(pvq)
vr
3.Hukum Distributif
p (q r) (p q) (p r)
p (q r) (p q) (p r)
TABEL KEBENARAN HUKUM DISTRIBUTIF
p
q^r
pvq
pvr
pv(q^r)
(pvq)^(pv
r)
B
B
S
S
S
4.Hukum idempoten
ppp
ppp
TABEL KEBENARAN HUKUM IDEMPOTEN
P
PVP
5.Hukum identitas
(p v 0) p
(p ^ 1) p
p
pv0
P^1
6.Hukum null/dominasi
p00
p11
p
P^0
PV1
7.Hukum negasi
p ~p B
p ~p S
p
~p
pv~p
P^~p
8.Hukum involusi
~(~p) p
p
~p
~(~p)
9.Hukum penyerapan
p (p q) p
p (p q) p
p^q
pv(p^q)
10.Hukum De Morgan
~(p q) ~p ~q
~(p q) ~p ~q
~p
~q
p^q
~(p^
q)
~pv~q
THE END
OM SHANTY SHANTY SHANTY OM