Al Jabar Proposisi
1. Ilmu logika informatika berhubungan dengan kalimat-kalimat atau argumen-argumen dan hubungan yang ada diantara kalimat-kalimat tersebut.
2. Ilmu logika lebih mengarah pada bentuk kalimat daripada arti kalimat itu sendiri.
3. Suatu kalimat deklaratif atau proposisi adalah kalimat yang bernilai benar atau salah tetapi tidak keduanya.
Contoh : 2+5=0 (kalimat deklaratif)
4. Kata kata penggandeng kalimat atau logika konektivitas
p q p∧q
T T T
T F F
F T F
F F F
(^ dan)
p q p∨q
T T T
T F T
F T T
F F F
(v atau)
Contoh Soal
1. Tentukan negasi dari 5 lebih besar dari 2 2. Tentukan negasi dari 7 = 10-3
3. Semua calon legislatif melakukan serangan fajar (salah) karena ada calon legislatif yang tidak melakukan serangan fajar.
