Brief Introduction to Propositional Logic and Predicate Calculus

Many recent neuro symbolic approaches rely on an underlying logical language. In this chapter, we provide a brief introduction to the basic concepts behind propositional logic and predicate calculus (first order logic). We cover syntax, semantics, satisfiability relationships, consistency and entailment, quantifiers and grounding, as well as how logic relates to lattice theory and fixpoint operators.