Lectures related to Logic: Proof Techniques

Covers propositions, logical connectives, truth tables, and propositional logic language.

Covers inference rules in propositional logic and common logical fallacies.

Covers the proof of the Jordan Curve Theorem and the properties of embedded spheres.

Covers inference rules in propositional logic and common logical fallacies.

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

Explores the importance of soundness and completeness in a propositional proof system.

Explains constructing DNF and CNF in propositional logic and their complexity.