Lectures related to Predicate Logic: Quantifiers, CNF, DNF

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

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

Covers propositions, logical connectives, truth tables, and propositional logic language.

Explores the distribution of quantifiers, logical equivalences, and negations in predicate logic.

Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.

Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.

Covers propositional logic, logical connectives, truth tables, and compound propositions.