Introduction to logic

ECTS : 3

Description du contenu de l'enseignement :

• Valid and sound arguments
• Represent information in symbolic forms (propositional and predicate logic)
• Propositional logic:
  • syntax and semantics
  • truth tables
  • axiomatic proof
  • tableaux
  • derivations
  • SAT
• Predicate logic:
  • syntax and semantics
  • axiomatic proof
  • tableaux

Compétence à acquérir :

This course provides an introduction to formal logic. You will develop an understanding of symbolic logic and of different proof techniques.

No prerequisite is required.