Introduction to FOL

-- socrates example.
   Why do we need FOL to deduct that Socrates is mortal. 
-- Predicates are relating the objects and properties. 
-- Signature of FOL (constants, functions, relations). 
-- we need variables, logical symbols and non-logical symbols, 
   also to define wffs. 


-- Example of Number Theory and some formulas 
-- Example of set theory and some examples
-- Example of min FOL (with only =). 

