Download - R5a kelompok 4
![Page 1: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/1.jpg)
1
L o a d i n g . . .
![Page 2: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/2.jpg)
2
![Page 3: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/3.jpg)
3
3
![Page 4: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/4.jpg)
4
2
![Page 5: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/5.jpg)
5
1
![Page 6: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/6.jpg)
Logika elementer
Logika elementer
Kelompok 4:DIDI (201013500096)
IRMA A.S (201013500010)
LIZARA (201013500058)
SRI MISTARI (201013500045)
ANITA (201013500100)
Kelompok 4:DIDI (201013500096)
IRMA A.S (201013500010)
LIZARA (201013500058)
SRI MISTARI (201013500045)
ANITA (201013500100)
![Page 7: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/7.jpg)
created by: Rizki Wahyudi, S.Pd
LOGIKA ELEMENTER
Pil
ihan
Men
u:
EXIT
![Page 8: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/8.jpg)
SAP
Definisi proposisi proposisi Komposit Ekivalensi Hukum aljabar proposisi Prinsip Dualitas Implikasi Logis Fungsi proposisi simbol Proposisi Simbol negasi Kuantor Argumen Premis Tabel Kebenaran Prinsip modus ponen, tollen, dan silogisme
![Page 9: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/9.jpg)
PENDAHULUAN
PROPOSISI KOMPOSIT
HUKUM ALJABAR
PROPOSISI
IMPLIKASI LOGIS
NEGASI MENGANDUNG
KWATOR
1 2
3 4
5 PRINSIP DUALITAS
6EKIVALENSI
LOGIS
![Page 10: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/10.jpg)
PROPOSISI KOMPOSIT
Misalkan p, q masing-masing proposisi elementer, maka proposisi berikut ini merupakan proposisi
komposit.
BACK
![Page 11: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/11.jpg)
Hukum Idempoten
Hukum Asosiatif
Hukum Distributif
Hukum Komutatif
Hukum Identitas
Hukum Komplemen
Hukum Involusi
Hukum Demorgan
BACK
![Page 12: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/12.jpg)
Hukum Idempoten
p v pp v p p p
p ʌ pp ʌ p p p
BACK
![Page 13: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/13.jpg)
Hukum Asosiatif
p v pp v p P v p P v p
p ʌ pp ʌ p p ʌ pp ʌ p
BACK
![Page 14: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/14.jpg)
Hukum Komutatif
(p v q) v r (p v q) v r P v (q v r)P v (q v r)
(p Ʌ p) Ʌ r(p Ʌ p) Ʌ r P Ʌ (q Ʌ r)P Ʌ (q Ʌ r)
BACK
![Page 15: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/15.jpg)
Hukum Distributif
p v (q r)Ʌp v (q r)Ʌ (p v q) (p v Ʌ r)(p v q) (p v Ʌ r)
p (q v r)Ʌp (q v r)Ʌ (p q) v (p r)Ʌ Ʌ(p q) v (p r)Ʌ Ʌ
BACK
![Page 16: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/16.jpg)
Hukum Identitas
P v f p ≡P v f p ≡ p t p≡Ʌp t p≡Ʌ
P v t t≡P v t t≡ p f f≡Ʌp f f≡Ʌ
BACK
![Page 17: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/17.jpg)
Hukum Komplemen
P v ~p t ≡P v ~p t ≡ p f f≡Ʌp f f≡Ʌ
~ t f ≡~ t f ≡ ~f t≡~f t≡
BACK
![Page 18: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/18.jpg)
Hukum Involusi
~ (~ p ) ~ (~ p )
pp
BACK
![Page 19: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/19.jpg)
Hukum Demorgan
~(p v q)~(p v q) ~p Ʌ ~q~p Ʌ ~q
~(p Ʌ q)~(p Ʌ q) ~p v ~q~p v ~q
BACK
![Page 20: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/20.jpg)
Suatu bentuk pernyataan implikasi yang merupakan tautologi disebut implikasi logis. Tautologi adalah
sebuah pernyataan majemuk yang benar dalam segala hal, tanpa
memandang nilai kebenaran dari komponen-komponennya
BACK
![Page 21: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/21.jpg)
NEGASI MENGANDUNG KWANTOR
NEGASI MENGANDUNG KWANTOR
suatu ucapan yang apabila dibubuhkan pada suatu kalimat
terbuka akan mengubah kalimat terbuka tersebut
menjadi suatu kalimat tertutup atau pernyataan.
PENGERTIAN KUANTOR
Negasi pernyataan berkuantor adalah lawan
atau kebalikan dari pernyataan berkuantor
tersebut.
NEGASI BERKUANTOR
LIHAT CONTOH YUK..BACK
![Page 22: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/22.jpg)
CONTOH NEGASI MENGANDUNG KWANTOR
CONTOH NEGASI MENGANDUNG KWANTOR
PERTANYAAN
“ Semua mahasiswa tidak mengerjakan tugas “ Negasi dari pernyataan tersebut adalah??
Ada mahasiswa yang mengerjakan tugas “Jika diberikan notasi, maka pernyataan di atas menjadi:
JAWAB
T(x) M(x) x, negasinya , T(x) M(x) x, ∧∃→∀
BACK
![Page 23: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/23.jpg)
PRINSIP DUALITASPRINSIP DUALITAS
Dengan dualitas diatas kita dapat mengubah ungkapan “and” menjadi ungkapan “or” begitupun sebaliknya.
~ ( A and B ) = ~ A or ~ B~ ( A or B ) = ~ A and ~ B
P : Jika belajar maka pintar~p : (sudah) belajar tetapi TIDAK pintar
~(~P) : TIDAK (belajar tetapiTIDAK pintar) = TIDAK balajar atau pintar
Karena ~(~P) = P
CONTOH
BACK
![Page 24: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/24.jpg)
EKIVALENSI LOGISEKIVALENSI LOGIS
~p ( p q ) ˄ Ξ ~p q˅
Ekivalensi logis adalah dua proposisi majemuk yang mempunyai tabel nilai
kebenaran yang sama.
CONTOH
BACK
![Page 25: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/25.jpg)
PROPOSISIPROPOSISI
DEFINISI FUNGSI SIMBOL NOTASI
Proposisi adalah suatu pernyataan dalam bentuk kalimat yang memiliki arti penuh, serta mempunyai nilai benar atau salah, dan tidak boleh kedua-duanya.
![Page 26: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/26.jpg)
FUNGSI SIMBOL NOTASI
PROPOSISIPROPOSISI
DEFINISI
![Page 27: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/27.jpg)
Fungsi proposisi
Misalkan P(x) merupakan sebuah pernyataan yang mengandung variabel x dan D adalah sebuah himpunan. Kita sebut P sebuah fungsi proposisi (dalam D) jika untuk setiap x diD, P(x) adalah proposisi. Kita sebut D daerah asal pembicaraan (domain of discourse) dari P.
BACK
![Page 28: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/28.jpg)
Fungsi proposisi
Berikut ini beberapa contoh fungsi proposisi:1. n2 + 2n adalah bilangan ganjil, dengan daerah asal himpunan bilangan bulat.2. x2 ¡ x ¡ 6 = 0, dengan daerah asal himpunan bilangan real.3. Seorang pemain bisbol memukul bola melampaui 300 pada tahun 1974, dengan daerah asal himpunan pemain bisbol.
BACK
![Page 29: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/29.jpg)
FUNGSI SIMBOL NOTASI
PROPOSISIPROPOSISI
DEFINISI
1. "dan" diberi simbol khusus "∧"
2. "atau" diberi simbol khusus "∨“
3. "tidaklah" diberi simbol khusus "~“
4. "jika...maka..." diberi simbol khusus "⇒“
5. "jika dan hanya jika" diberi simbol khusus "⇔"
![Page 30: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/30.jpg)
PROPOSISIPROPOSISI
Notasi merupakan lambang dari suatu proposisi dan biasanya dilambangkan dengan huruf kecil.Mislnya : p , q , r , s, dsb
DEFINISI FUNGSI SIMBOL NOTASI
![Page 31: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/31.jpg)
ARGUMENARGUMEN
PREMISPREMIS
TABEL TABEL KEBENARANKEBENARAN
PRINSIP PONEN, PRINSIP PONEN, TOLLENS & TOLLENS & SILOGISMESILOGISME
![Page 32: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/32.jpg)
ArgumenArgumenArgumen adalah kumpulan pernyataan, tunggal atau majemuk dimana pernyataan sebelumnya disebut premis dan pernyataan terakhir disebut konklusi/ kesimpulan dari argumen.
1. p q2. p / ∴ q
1. ( p q ) ∧ ( r s )2. ~ q v ~ s / ∴~ p v ~ r
1. p
2. q / ∴p ∧ q
CONTOH
CONTOH
BACKBACK
![Page 33: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/33.jpg)
PREMISPREMIS
BACKBACK
Premis adalah pernyataan-pernyataan yang dikemukakan untuk mendukung satu kesimpulan. Sementara itu kesimpulan adalah pernyataan /informasi baru yang didapatkan dari sintesis premis-premis.
![Page 34: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/34.jpg)
TABEL KEBENARAN
BACKBACK
![Page 35: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/35.jpg)
TABEL KEBENARAN
BACK
Operasi negasi atau ingkaran adalah operasi yang dikenakan hanya pada sebuah pernyataan. Operasi negasi dilambangkan “ ~ “.
CONTOHCONTOH
p : Bogor adalah kota hujan.~ p : Bogor bukan kota hujan.
MAU TAU TABEL KEBENARANNYA?KLIK INI YAH...
![Page 36: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/36.jpg)
p q ~p ~q
B B S S
B S S B
S B B S
S S B B
BACK
![Page 37: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/37.jpg)
TABEL KEBENARAN
BACK
Suatu pernyataan majemuk yang dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan memakai kata perangkai “DAN”
MAU TAU TABEL KEBENARANNYA?KLIK DISINI YAH...
MAU TAU TABEL KEBENARANNYA?KLIK DISINI YAH...
![Page 38: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/38.jpg)
KET : * Konjungsi bernilai benar bila komponennya bernilai benar * konjungsi bernilia salah bila ada salah satu komponennya yang bernilai salah. BACK
p q P^q
B B B
B S S
S B S
S S S
![Page 39: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/39.jpg)
TABEL KEBENARAN
BACK
Suatu pernyataan majemuk yang dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan memakai kata perangkai “atau”
MAU TAU TABEL KEBENARANNYA?KLIK DISINI YAH...
MAU TAU TABEL KEBENARANNYA?KLIK DISINI YAH...
![Page 40: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/40.jpg)
KET : * Disjungsi bernilai benar bila ada salah satu komponennya yang berniai benar * konjungsi bernilai salah bila komponen – komponennya bernilai salah.
BACK
p q pvq
B B B
B S B
S B B
S S S
![Page 41: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/41.jpg)
TABEL KEBENARAN
BACK
pernyataan majemuk yang dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan memakai kata perangkai “Jika maka”
MAU TAU TABEL KEBENARANNYA?KLIK DISINI YAH...
MAU TAU TABEL KEBENARANNYA?KLIK DISINI YAH...
![Page 42: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/42.jpg)
KET : * Implikasi hanya bernilai salah bila pernyataan jika bernilai benar dan pernyataan maka bernilai salah. * kemungkinan lainnya Implikasi bernilai benar.
BACK
p q P => q
B B B
B S S
S B B
S S B
![Page 43: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/43.jpg)
TABEL KEBENARAN
BACK
Suatu pernyataan majemuk yang dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan memakai kata hububgj “jika dan hanya jika”
MAU TAU TABEL KEBENARANNYA?KLIK DISINI YAH...
MAU TAU TABEL KEBENARANNYA?KLIK DISINI YAH...
![Page 44: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/44.jpg)
KET : * Implikasi bernilai benar bila komponen – komponennya mempunyai nilai kebenaran yang sama. * Implikasi berniai salah bila komponen – komponennya mempunyai nilai kebenaran yang tidak sama.
BACK
p q Pq
B B B
B S S
S B S
S S B
![Page 45: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/45.jpg)
PRINSIP - PRINSIPPRINSIP - PRINSIP
BACKBACK
![Page 46: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/46.jpg)
Premis 1 : p => qPremis 2 : pKoklusi : qPrinsip modus pones mengatakan “jika p terjadi maka q terjadi” dan ternyata p terjadi. Menurut asumsi kita, dan q terjadi. Sahnya prinsip modus ponens dapat dibuktikan dengan tabel kebenaran pernyataan majemuk “((p => q) p) => q)”ʌ
Untuk lebih jelaslihat contoh berikut....BACK
![Page 47: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/47.jpg)
CONTOH
Premis 1 : jika afra kehujanan, maka afra akan masuk angin.Premis 2 : afra kehujananKonklusi : afra masuk angin
Penarikan kesimpulan ini menggunakan prinsip modus ponens berarti kesimpulan yang di tarik adalah sah.
BACK
![Page 48: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/48.jpg)
Premis 1 : p => qPremis 2 : ~ qKoklusi : ~ p
Prinsip modus tolens mengatakan “bahwa jika p terjadi maka q terjadi dan ternyata q tidak terjadi, maka kita simpulkan bahwa p
tidak terjadi”. Prinsip modus tolens yang sah dapat diperoleh dengan melihat tabel kebenaran dari pernyataan majemuk ((p => q) ~q) =>p). cara lain untuk memverifikasi modus tolens adalah ʌdengan memanfaatkan pemahaman kita tentang ekuivalensi dan
modus ponens sebagai berikut.Premis 1 : p => q ≡ ~q => p
Premis 2 : ~qKoklusi : ~p
lihat contoh berikut yuk...
![Page 49: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/49.jpg)
CONTOH
Premis 1 : jika saya berolahraga teratur, maka saya akan sehatPremis 2 : saya tidak sehatKoklusi : saya tidak berolahraga teratur
Penarikan kesimpulan ini menggunakan modus tolens, berarti kesimpulan yang ditarik adalah sah.
BACK
![Page 50: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/50.jpg)
Premis 1 : p => q (benar)Premis 2 : q => r (benar)Koklusi : p => r (benar)
Prinsip silogisme pada dasarnya mengatakan “jika p terjadi maka q terjadi, dan jika q terjadi maka r terjadi,
sehingga disimpulkan jika p terjadi maka r juga terjadi”.Prinsip silogisme diverifikasi dengan melihat tabel
kebenaran bagi pernyataan majemuk ((p => q) (q => r)) => (p => r).ʌ
BACK
![Page 51: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/51.jpg)
SOAL...
1 Tentukan Negasi dari pernyataan berikut :
a) q: 2 + 5 = 10b) r: semua siswa senang matematika.c) ∃x (4 + x = 7)
a) ~q: tidak benar bahwa 2 + 5 = 10. b) Tidak benar bahwa semua siswa senang
matematika.c) ~(∃x (4 + x = 7)) = ∀x ( 4 + x ≠ 7)
JAWAB:
![Page 52: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/52.jpg)
SOAL...
2 kerjakanlah soal cerita berikut ini dengan menggunakan prinsip modus ponen.Jika saya makan di kelas, maka saya minum di kelas. Saya makan di kelas. Apakah saya minum di kelas??
p → q p Menggunakan modus ponen, maka kitabisa menarik
kesimpulan q, yang artinya saya minum di kelas.
JAWAB
![Page 53: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/53.jpg)
SOAL...
3 Apakah (P → q) ekivalen dengan (~ p V q) ??
Pembuktian dengan menggunakan tabel kebenaran
Tabel kebenaran bernilai sama maka p → q Ξ ~p v q
JAWAB
p q ~p p → q ~ p q˅
B B S B B
B S S S S
S B B B B
S S B B B
![Page 54: R5a kelompok 4](https://reader034.vdocuments.us/reader034/viewer/2022042715/5596c8521a28ab755a8b4797/html5/thumbnails/54.jpg)