• Part 2: First-order logic

  • 2.3 Models, validity, satisfiability
    • validity and satisfiability
    • the substitution lemma
    • entailment and equivalence
    • validity vs. satiafiability
    • the theory of a structure
    • examples

  • 2.4 Algorithmic problems
    • validity, satisfiability, truth in a model, ...
    • fragments of first-order logics; decidable fragments


    Imprint | Data Protection