Propositional Logic: Basic Logical Connectives

Related lectures (29)

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.

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 propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

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

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

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

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