Resume Pertemuan 2

Propositional Logic

Proposisi adalah suatu model untuk mendeklarasikan suatu fakta. Lambang-lambang proposisional menunjukkan proposisi atau pernyataan tentang segala sesuatu yang dapat benar atau salah.

Propositional Logic adalah salah satu bentuk (bahasa) representasi logika paling tua dan paling sederhana. Propositional Logic membentuk statement sederhana atau statement yang kompleks dengan menggunakan proposotional connective, dimana mekanisme ini menentukan keberatan dari sebuah statement kompleks dari nilai kebenaran yang direpresentasikan oleh statement lain yang lebih sederhana.

Lambang-lambang   kalkulus proposisional :

1.  Lambang pernyataan proposisional -> P,Q,R,S,T,... (disebut sebagai atom-atom)
2. Lambang kebenaran -> benar (True) , salah (False)
4.  Lambang penghubung
5. ∧ (konjungsi), ∨ (disjungsi), ∼ (negasi),  → (implikasi), ↔ (Bi-implikasi), ≡ (equivalen)

Pengantar inteligensia Buatan – Propositional Logic  2/8Berikut ini adalah tabel kebenaran (truth value)

lambang penghubung :

• Equivalen

Suatu kalimat (formula) P dianggap equivalen dengan formula Q jika dan hanya jika ‘truth value’ dari P sama dengan ‘truth value’ dari G untuk setiap interpretasinya.  (ditulis sbg. P ≡ Q).

Contoh:

P→Q ≡ ∼P∨Q

Sumber: http://blog.stikom.edu/lusiani/sistem-pakar/pertemuan-2/

http://journal.mercubuana.ac.id/data/propositional-logic.pdf