LOGIKA

advertisement
LOGIKA
Viska Armalina ST., M.Eng
Apa itu LOGIKA??
 Merupakan studi penalaran (reasoning)
 Fokus pada hubungan antara pernyataan-pernyataan yang
dipertentangkan dengan isi pernyataan tertentu.
 Contoh argumen berikut :
Semua pengendara sepeda motor memakai helm
Setiap orang yang memakai helm adalah mahasiswa
Jadi, semua pengendara sepeda motor adalah mahasiswa
 Di dalam matematika, logika digunakan untuk :
- membuktikan teorema
- menspesifikasikan makna dari pernyataan matematis
- membantu membedakan antara argumen yang valid dan
tidak valid
 Di
dalam ilmu komputer, logika digunakan untuk
membuktikan bahwa program-program berjalan seperti yang
diharapkan.
PROPOSISI
 Proposisi adalah kalimat deklaratif yang bernilai benar (true)
atau salah (false), tetapi tidak dapat sekaligus keduanya.
 Kebenaran atau kesalahan dari sebuah kalimat disebut “nilai
kebenarannya” (truth value).
 Proposisi selalu dinyatakan dalam kalimat berita, BUKAN
sebagai kalimat tanya maupun kalimat perintah.
 Proposisi merupakan bangunan dasar dari teori logika.
Contoh Proposisi (1)
a.
b.
c.
d.
e.
f.
g.
h.
i.
6 adalah bilangan genap.
Soekarno adalah Presiden Indonesia yang pertama.
2+2=4
Ibukota Provinsi Jawa Barat adalah Semarang.
13 ≥ 20
Kemarin hari hujan.
Suhu di permukaan laut adalah 21°C.
Pemuda itu tinggi.
Kehidupan hanya ada di planet Bumi.
Penjelasan Contoh
 Semuanya merupaka proposisi.
 Proposisi a, b, c  benar
 Proposisi d, e  salah
 Proposisi f, g, h, i  tidak dapat langsung ditetapkan
kebenarannya, namun proposisi-proposisi tersebut tidak
mungkin benar dan salah sekaligus.  kita bisa
menetapkan nilai proposisi tersebut benar/salah.
Contoh Proposisi (2)
j. Untuk sembarang bilangan bulat n ≥ 0, maka 2n adalah
bilangan genap.
- kalimat tersebut merupakan cara lain untuk menyatakan
bilangan genap.
k. x + y = y + x untuk setiap x dan y bilangan riil
Dalam hal ini, x dan y tidak perlu diberi suatu nilai karena
proposisi tersebut pasti benar untuk x dan y berapapun itu.
Contoh Kalimat Yang BUKAN Proposisi
Jam berapa pesawat Garuda dari Jakarta sampai di
Balikpapan?
b. Serahkan uangmu sekarang!
c. x + 5 = 9
d. x ˃ 4
a.
 Secara simbolik , proposisi dilambangkan dengan huruf kecil,
seperti p, q, dan r.
 Contoh :
p : 6 adalah bilangan genap
mendefinisikan p sebagai proposisi “6 adalah bilangan genap”
q : Soekarno adalah Presiden Indonesia yang pertama
mendefinisikan q sebagai proposisi “Soekarno adalah Presiden
Indonesia yang pertama”
Mengkombinasikan Proposisi
 Kita
dapat membentuk proposisi baru dengan cara
mengkombinasikan satu atau lebih proposisi.
 Operator yang digunakan untuk mengkombinasikan proposisi
disebut Operator Logika.
 Operator logika dasar yang digunakan adalah :
a. dan (and)
Operator Biner
b. atau (or)
c.Tidak (not)
Operator Uner
 Proposisi bar yang diperoleh dari hasil kombinasi proposisi-
proposisi disebut Proposisi Majemuk.
 Proposisi yang bukan merupakan kombinasi proposisi lain disebut
Proposisi Atomik.
Proposisi Majemuk
 Proposisi majemuk ada 3 macam
a. Konjungsi (disjunction)
b. Disjungsi (conjunction)
c. Ingkaran (negation)
 Misalnya p dan q adalah proposisi.
Konjungsi p dan q, dinyatakan dengan
, adalah
proposisi dari p dan q.
Disjungsi p dan q, dinyatakan dengan , adalah proposisi
dari p atau q.
Ingkaran dari p, dinyatan dengan ̴ p , adalah proposisi dari
tidak p.
Contoh Proposisi Majemuk dan Notasi Simboliknya
(1)
 Diketahui proposisi-propisisi sebagai berikut :
p : Hari ini hujan
q : Murid-murid diliburkan dari sekolah
Maka…
: Hari ini hujan dan murid-murid diliburkan dari
sekolah
: Hari ini hujan atau murid-murid diliburkan dari
sekolah
~p : Tidak benar hari ini hujan (atau bisa juga ditulis
Hari ini tidak hujan)
Contoh Proposisi Majemuk dan Notasi
Simboliknya (2)
 Ekspresi proposisi majemuk dalam notasi simbolik disebut juga
“Ekspresi Logika”.
 Contoh :
Diketahui proposisi-proposisi berikut:
p : Pemuda itu tinggi
q : Pemuda itu tampan
 Nyatakan proposisi berikut (asumsikan “Pemuda itu
pendek” berarti “Pemuda itu tidak tinggi” ke dalam ekspresi
logika (notasi simbolik):
a. Pemuda itu tinggi dan tampan
b. Pemuda itu tinggi tapi tidak tampan
c. Pemuda itu tidak tinggi maupun tidak 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.
Penyelesaian :
a.
b.
c.
d.
e.
f.
p^q
P ^ ~ q  kata tetapi bisa bermakna sama dengan “dan”
~p^~q
~ (~ p v ~ q)
p v ( ~ p ^ q)
~ ( ~ p ^ ~ q)
Soal
Diketahui proposisi-proposisi berikut :
p : Hari ini hujan
q : Hari ini dingin
Pertanyaan :
a. Buatlah proposisi majemuk dari :
p^q ;pvq; ~p
b. Nyatakan proposisi berikut ke dalam notasi simbolik
1. Hari ini dingin atau hari ini tidak hujan
2. Hari ini tidak hujan dan hari ini tidak dingin
3. Tidak benar hari ini tidak hujan
Download