Logika Proposisi dan Logika Predikat

Logika Proposisi dan Logika Predikat

Logika proposisi(kalkulus proposisi) menelaah manipulasi antar proposisi. Logika predikat(kalkulus
predikat) menelaah manipulasi antar predikat. Oleh karena itu sebelum melangkah lebih
jauh, kita perlu memahami terlebih dahulu pengertian proposisi dan pengertian predikat.

Definisi : (Proposisi)
Sebuah proposisi(proposition) atau statement ialah sebuah kalimat deklaratif yang memiliki
tepat satu nilai kebenaran, yaitu: ”Benar”(B) atau ”Salah”(S)

CONTOH : Beberapa contoh proposisi dan bukan proposisi:
1. Jakarta adalah ibu kota Republik Indonesia.
2. 7 merupakan sebuah bilangan prima.
3. Manusia adalah salah satu jenis makluk di Bumi.
4. Taufik Hidayat pandai main bulu tangkis atau tennes.
5. Jika 10 habis dibagi dengan 4, maka juga habis dibagi dengan 2.
6. Mudah-mudahan anda berhasil dalam meniti karier.
7. Berolahragalah secara teratur!

Kalimat deklaratif pertama, kedua dan ketiga dalam contoh diatas tidak memuat penghubung
disebut proposisi primitip(primitif ), dan dilambangkan dengan huruf kecil: p, q, r, s. Kalimat
deklaratif keempat dan kelima memuat penghubung ”atau” dan ”jika...maka...” disebut
proposisi majemuk(composite). Kalimat keenam dan ketujuh bukan proposisi.

Penghubung atau konektif(connective)
Dalam logika matematika dikenal sebanyak 5 penghubung, yaitu:
1. Negasi(Negation)
2. Konjungsi(Conjunction)
3. Disjungsi(Disjunction)
4. Implikasi(Implication)
5. Ekuivalensi(Equivalence)

¤ Definisi 1.1.2: (Penghubung)
Misalkan p dan q adalah proposisi.
1. Negasi:
Untuk sembarang proposisi, p, yang memiliki nilai kebenaran, B/S, maka negasinya
ditulis sebagai, p, memiliki nilai kebenaran lawannya, S/B.
2. Konjungsi:
Konjungsi p dan q dinyatakan dengan, p^q, adalah sebuah proposisi yang bernilai
benar jika proposisi p dan q keduanya bernilai benar.
3. Disjungsi:
Disjungsi p dan q dinyatakan dengan, pVq, adalah proposisi yang bernilai salah jika
proposisi p dan q keduanya bernilai salah.
4. Implikasi (proposisi bersyarat):
Implikasi dari p ke q dinyatakan dengan, p -> q, ialah proposisi yang bernilai salah
jika dan hanya jika p bernilai benar dan q bernilai salah.
Proposisi p disebut anteseden(premis/hipotesa) dan proposisi q disebut konsekuen(konklusi/kesimpulan)
5. Ekuivalensi/Biimplikasi:
Ekivalensi dari p dan q dinyatakan dengan, p <-> q, adalah proposisi yang bernilai
benar jika proposisi p dan q mempunyai nilai kebenaran sama.

CONTOH : (Beberapa contoh proposisi majemuk)
Misalkan p, q dan r adalah proposisi, dimana:
p : Bumi adalah satu-satunya planet di jagat raya yang mempunyai kehidupan. (B)
q : Satu dekade sama dengan 10 tahun. (B)
r : 1 + 1 = 3. (S)

Maka:
1. p : Bumi bukan satu-satunya planet di jagat raya yang mempunyai kehidupan. (S)
2. q^r : Satu dekade sama dengan 10 tahun dan 1 + 1 = 3. (S)
3. qVr : Satu dekade sama dengan 10 tahun atau 1 + 1 = 3. (B)
4. q -> r : Jika satu dekade sama dengan 10 tahun maka 1 + 1 = 3. (S)
5. q <->r : Satu dekade sama dengan 10 tahun jika dan hanya jika 1 + 1 = 3. (S)