Propositional Logic dan Predicate Calculus
Propositional logic merupakan salah satu bentuk (bahasa) representasi logika yang paling tua dan paling sederhana. Dengan cara ini beberapa fakta dapat digambarkan dan dimanipulasi dengan menggunakan aturan-aturan aljabar Boolean.
Propositional logic membentuk statement sederhana atau statement yang kompleks dengan menggunakan propositional connective, dimana mekanisme ini menentukan kebenaran dari sebuah statement kompleks dari nilai kebenaran yang direpresentasikan oleh statement lain yang lebih sederhana.
Beberapa operator penghubung dasar yang seringkali dipakai dalam
propositional logic
propositional logic
tabel kebenaran untuk masing-masing operator
- Arti Dari Operator Penghubung
Hubungan variabel dengan operator penghubung dalam propositional
logic
logic
Tidak ada komentar:
Posting Komentar