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: formalizing problems in propositional logic, expressiveness limits of propositional logic
- Formal proof: sequences, inference rules, axioms, theorems, LK system, solution method
- Correctness and completeness of a system with respect to semantics: proof of correctness and completeness of LK and resolution method (reduced to propositional case)
- Curry-Howard correspondence
- Introduction to first-order logic (predicate calculus) without function symbol