ECTS
5 credits
Component
Faculty of Science
Description
- Formal syntax of propositional logic: symbols, connectors, well-formed formulas, syntactic trees, normal and clausal forms
- Semantics of propositional logic: interpretation, model, truth tables, satisfiability, validity, semantic equivalence, logical consequence
- Modeling: formalization of problems in propositional logic, expressiveness limit of propositional logic
- Formal proof: sequences, inference rules, axioms, theorems, LK system, resolution method
- Correctness and completeness of a system with respect to a semantic: proof of correctness and completeness of the LK and of the resolution method (reduced to the propositional case)
- Correspondence from Curry-Howard
- Introduction to first order logic (predicate calculus) without function symbol