Question

- In your own words, what are some of the differences between propositional logic and first-order logic?

Answer 1

Propositional Logic uses prepositions in which complete sentence is denoted by symbols while the FOL(First Order Logic) uses predicate which involve constants,functions,relations,variables.

Propositional Logic can not represents individual entities while First order logic can represent individual entities.

Propositional Logic cannot express generalization,specialization or pattern while First order logic can express generalization,specialization or pattern.

FOL uses quantifiers while PL cannot use quantifiers.