Lectures related to Automating First-Order Logic Proofs Using Resolution

Covers the answers to quiz questions on predicate logic.

Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.

Covers the basics of propositional logic, its history, language, and computing applications.

Introduces predicate logic and explains how to determine truth values using quantifiers.

Explores logical equivalences, quantifiers, and De Morgan's Laws in predicate logic.

Covers translating natural language to propositional logic and proving tautologies.

Covers logical equivalences, quantifiers, and De Morgan's Laws in predicate logic.

Covers Presburger arithmetic, quantifier elimination, and the transformation of formulas into disjunctive normal form.