Discrete Mathematics: Logic & Structures

Related lectures (28)

Page 3 of 3

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

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

Covers interesting facts about propositional logic and Sudoku solving strategies.

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

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

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

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

Covers the answers to a quiz on propositional logic, emphasizing the importance of clarity in logical statements.