Logika

1. Proposisi
Proposisi adalah kalimat deklaratif/berita yang bernilai benar atau salah, tidak mungkin kedua-duanya.
Contoh:
6 adalah bilangan genap | Benar
2 + 2 = 7 |Salah
x>= 17 | bukan proposisi

2. Mengkombinasikan Proposisi
Satu atau lebih proposisi dapat dikombinasikan untuk menghasilkan proposisi baru. Proposisi baru yang diperoleh dari pengkombinasian tersebut dinamakan proposisi majemuk.
Operator yang digunakan untuk mengkombinasikan proposisi disebut operator logika.
Operator-operator logika dapat meliputi:

1. AND
2. OR
3. NOT

Contoh:
P : Hari ini hujan
Q: Murid-murid diliburkan
P ^ Q : Hari ini hujan dan murid murid diliburkan
~P : Hari ini tidak hujan

3. Tabel Kebenaran

Tabel kebenaran yang memiliki nilai benar semua disebut tautologi.
Tabel kebenaran yang memiliki nilai salah semua disebut kontradiksi


4. Hukum-hukum Logika