Difference between Propositional logic and First Order logic [closed]

Question

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.

---

This question does not appear to be about programming within the scope defined in the help center.

Closed 9 years ago.

Improve this question

Can you tell me what is the difference between Propositional logic and First Order logic.This is one my my exam question in AI can you help me to do that

Answer 1

In propositional logic you are allowed to use the usual propositional connectives (and, or, ...). In first order logic you are allowed to quantify (forall, exist) over variables, which makes it strictly more expressive.