^^Logica dei predicati. Logica del 1° ordine.

 

 

ing:

Predicate logic  ≡  first-order logic FOL  ≡  quantificational logic

 

Links

  1. book Introduction to formal logic. Book by Peter Smith.
  2. wp/First-order_logic
  3. todd_trimble/Notes+on+predicate+logic