Difference between Propositional logic and First Order logic

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

This question appears to be off-topic because it is about formal logic without connection to programming. — Mike Kinghan, Apr 07 '14 at 07:51

score 7 · Accepted Answer · answered Mar 11 '14 at 09:42

7

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.

answered Mar 11 '14 at 09:42

user1666959

1,805
12
11

Difference between Propositional logic and First Order logic

1 Answers1