Lectures related to Logical Equivalences: Constructing, Proving, and Applying

Covers logical connectives, implication, biconditional, compound propositions, and truth tables.

Covers constructing and proving logical equivalences, including De Morgan's Laws and tautology proofs.

Introduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.

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

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.

Explores predicate logic, covering quantifiers, equivalences, and translations from natural language.

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