LOGIKA PROPOSISI (Logika Pernyataan)

Pengertian Proposisi adalah pernyataan-pernyataan yang berbeda pada suatu argument, dan pernyataan tersebut mempunyai property nilai, yang hanya benar saja atau salah saja, serta tidak ada nilai lain yang dimungkinkan. Pernyataan apa saja yang mempunyai nilai BENAR atau SALAH disebut proposisi

Membicarakan tentang pernyatan tunggal dan kata hubungnya sehinga didapat pernyataan majemuk. Kalimat deklaratif, tabel nilai

Tabel Kebenaran Logika adalah ilmu tentang penalaran Penalaran Berarti mencari bukti validitas dari suatu argument, mencari konsistensi dari pernyataan-pernyataan, dan membahas materi tentang kebenaran dan ketidakbenaran. Logika hanya berhubungan dengan bentuk-bentuk (form) logika dari argument-argument, serta penarikan kesimpulan tentang validitas dari argument tersebut. Logika tidak mempermasalahkan arti sebenarnya dari pernyataan tersebut, ataupun isi (content) dari pernyataan

Penekanan logika pada penarikan kesimpulan tentang validitas suatu argument untuk mendapatkan kebenaran yang bersifat abstrak, yang dibangun dengan memakai kaidah-kaidah dasar logika tentang kebenaran dan ketidakbenaran yang menggunakan perangkai logika, yaitu: Dan (and) Atau (or) Tidak (not) Jika…maka… (if…then…) …jika dan hanya jika… (…if and only if…)

Perangkai Logika atau Operator Setiap perangkai pada logika memiliki nilai kebenarannya masing- masing sesuai jenis perangkai logika yang digunakan. Untuk mengetahui nilai kebenarannya, digunakan aturan dengan memakai table kebenaran. Perangkai logika atau operator dalam bentuk symbol dipergunakan untuk membuat bentuk-bentuk logika atau ekspresi logika. Di sini hanya digunakan konstanta proposional T untuk True dan F untuk False, bukan B dan atau S.

Perangkai-perangkai logika yang digunakan adalah:

Konjungsi [Ʌ] Konjungsi (conjunction) adalah kata lain dari perangka “dan (and)” Tabel Kebenaran Konjungsi: A B A Ʌ B F T

Disjungsi [V] Tanda v digunakan sama dengan perangkai “atau (or)”. Tabel kebenaran disjungsi: A B A V B F T

Negasi [¬] Negasi (negation) digunakan untuk menggantikan perangkai “tidak(not)” Tabel Kebenaran negasi: A ¬ A F T

Implikasi [→] Implikasi (implication) menggantikan perangkai “jika…maka… (if…then…) Tabel kebearan implikasi: A B A → B F T

Ekuivalensi [↔] Ekuivalensi (equivalence) menggantikan perangkai “…jika dan hanya jika… (….if and only if….)”. Tabel kebenaran ekuivalensi: A B A ↔ B F T

Perangkai Logika atau Operator Lainnya Perangkai “Tidak dan (not and / nand)” [ l ] Perangkai ini merupakan kebalikan dari konjungsi. A B A l B F T

Perangkai “tidak atau (not or / nor)” [↓] Perangkai ini merupakan kebalikan dari disjungsi. A B A ↓ B F T

Perangkai XOR (exlusive or) Perangkai ini merupakan kebalikan dari ekuivalensi.