Lectures related to Predicate Logic: Quantifiers and Normal Forms

Covers first-order logic syntax, semantics, Skolemization, resolution, and normal form transformations.

Explores the distribution of quantifiers, logical equivalences, and negations in predicate logic.

Covers the basics of predicate logic, including quantifiers and statements.

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

Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.

Covers the basics of propositional logic and explores logical equivalences and proof techniques.