Resume Logika Matematika

Pengertian Logika
Logika adalah ilmu yang secara mempelajari sistematis kaidah – kaidah penalaran yang
absah/valid.
Hal yang berkaitan dengan Logika:

Proposisi
Proposisi adalah suatu kalimat deklaratif yang bernilai benar atau salah tetapi tidak
keduanya. Nilai benar atau salah suatu proposisi disebut NILAI KEBENARAN pernyataan
tersebut.
Proposisi dikelompokan menjadi 2:
1. Proposisi sederhana : tidak memiliki kata hubung.
2. Proposisi majamuk : terdiri atas satu atau lebih pernyataan sederhana yang
dihubungkan dengan kata hubung.

Kata Hubung Kalimat

Kata hubung kalimat antara lain:
1. Negasi / Kontradiksi/ Ingkaran (~)
Negasi suatu pernyataan adalah pernyataan yang bernilai benar jika
persnyataan semula salah dan sebaliknya.
Tabel kebenaran negasi:

2. Konjungsi/ dan (^)

Konjungsi adalah pernyataan majemuk dengan kata hubung “dan”. Sehingga,
notasi “p^q” dibaca “p dan q”.
Tabel nilai kebenaran konjungsi:
3. Disjungsi / atau (v)
suatu pernyataan p dan q dapat digabung dengan kata hubung ‘atau’ sehingga
membentuk pernyataan majemuk ‘ p atau q’ yang disebut dengan disjungsi’
Tabel kebenaran disjungsi:

 p: Paus adalah mamalia (pernyataan bernilai benar)

 q: Paus adalah herbivora (pernyataan bernilai salah)
 pVq: Paus adalah mamalia atau herbivora (pernyataan bernilai benar)

4. Implikasi / kondisional / persyaratan bersyarat (→)

suatu pernyataan p dan q dapat digabung dengan kata hubung ‘jika maka’
sehingga membentuk pernyataan majemuk ‘ jikap maka q’ yang disebut dengan
implikasi.
Tabel kebenaran Implikasi:
5. Biimplikasi / Bikondisional / persyaratan bersyarat ganda (↔)
suatu pernyataan p dan q dapat digabung dengan kata hubung ‘jika dan hanya
jika’ sehingga membentuk pernyataan majemuk ‘ p jika dan hanya jika q’ yang
disebut dengan biimplikasi.
Tabel kebenaran Biimplikasi: