Lectures related to Propositional Logic: Basic Logical Connectives

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

Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, their applications, and complexity, with practical examples.

Covers interesting facts about propositional logic and Sudoku solving strategies.

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

Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.

Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.

Explains how to determine and build valid arguments in propositional logic.

Explores predicate logic, focusing on domains, quantifiers, and surprising insights on empty domains.