---

tags:

• 🌱
• AI
• ComputerScience date: 08--Mar--2023

---

• Use of symbols
• Boolean connectives to combine symbols
• Hard coded logic

Sentences evaluated using logical constants (true, false) Atomic sentences consist of propositional symbol which is similar to algebra. Complex sentences constructed with sentences and Logical connectives.

Determines truth of sentence with respect to model. Defines how to Interpretation a given Boolean sentence.

• Logical equivalence
• Validity
• Satisfiability

These 3 gives us the ability to do Inference.

---

Links: