Lectures related to Propositional Logic: Organisational Questions

Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, showing how to construct them and discussing their complexity.

Explores existential quantifiers, truth values, and composite statements in predicate logic.

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.

Covers set operations and their relations to propositional logic, including cardinality.

Covers set operations and their analogies to propositional logic connectives, including the cardinality of set union.

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

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.

Explores completeness in propositional logic, resolution on clauses, conjunctive form, unit resolution, SAT solvers, and proof generation.