Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Difference between Propositional logic and First Order logic [closed]

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

like image 206
user2771059 Avatar asked Mar 09 '14 08:03

user2771059


1 Answers

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.

like image 168
user1666959 Avatar answered Sep 18 '22 13:09

user1666959