Logic and reasoning

Question 1

Propositional Logic

Answer 1

• Mathematical logic based on boolean statements

Question 2

First order logic

Answer 2

• Relations about things in the world, objects and functions on these objects. These relations can be true, false or unknown