Lectures related to Propositional Logic: Basic Logical Connectives

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

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 the basics of discrete mathematics, including logic, structures, and algorithms.

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

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.

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