dan Pembuktian Logika Logika merupakan dasar dari semua penalaran reasoning Penalaran didasarkan pada hubungan antara pernyataan ID: 588338
Download Presentation The PPT/PDF document "Logika" is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
Slide1
Logika dan PembuktianSlide2
Logika
Logika
merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements).Slide3
Kalimat Deklaratif(Proposisi/Pernyataan)
Definisi
:
Kalimat yang bernilai benar (True) atau salah (False), tetapi tidak keduanya.Contoh:2+3=5 (B)Jakarta adalah ibukota Indonesia (B)10 adalah bilangan prima (S)Simon lebih tinggi dari Lina (≠)x+y =4 (≠)Slide4
Mari Bermain...
“Sapi lebih besar dari ayam”
Apakah ini sebuah pernyataan?
YAApakah ini sebuah proposisi?YAApa nilai kebenaran dari proposisi tersebut?BENARSlide5
Penghubung kalimat
Simbol
Arti
Bentuk¬Tidak/Not/NegasiTidak…..^Dan/And/konjungsi…….dan…….vAtau/Or/Disjungsi……..atau…….ImplikasiJika…….maka….
Bi-
implikasi
…….
jika
dan hanya jika….
Huruf
kecil
menyatakan
subkalimat
(
p,q,r
,…)Slide6
Contoh:
Misal
: p:
hari ini panas q: hari ini cerah Nyatakan dalam simbol logika:Hari ini tidak panas tapi cerahHari ini tidak panas dan tidak cerahTidak benar bahwa hari
ini
panas
dan
cerahSlide7
Penyelesaian:
Kata
“
tapi” memiliki arti “dan” shg: ¬pqb. ¬p ¬qc. ¬ (pq) Slide8
Tabel Kebenaran
p
q
¬ppqpvqpqpqTTFTTTTTFF
F
T
F
F
F
T
T
F
T
T
F
F
F
TFFTT
Ket
: T= true/
benar
, F=False/
salahSlide9
Contoh:
Misal
: p: Nana
orang kaya q: Nana bersuka cita Tulis simbol kalimat berikut; a. Nana orang miskin tetapi bersuka cita b. Nana orang kaya atau ia sedih c. Nana seorang yg miskin atau
ia
kaya
ttp
sedih2. Buatlah tabel kebenaran dari:
a. ¬(¬
p
q
)
b. (
pq
)¬(p v q)