Propositional Logic: Basics and Applications

Related lectures (28)

Page 2 of 3

Introduces propositional logic, logical connectives, implications, and equivalences, with examples and facts about tautology and contradiction.

Covers the basics of discrete mathematics, including logic, structures, and algorithms.

Covers the concept of logical equivalence in proofs and inference rules.

Covers logic, truth tables, and mathematical propositions, demonstrating how to analyze logical statements.

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

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.

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

Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.