4.2. Propositional logic, predicate logic, FOPL, interpretation, quantification, horn clauses Handwritten Notes | Artificial Intelligence BEI-OLD | TU | TABFlux