Lectures related to Propositional Logic: Inference Rules

Covers inference rules in propositional logic and common logical fallacies.

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

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

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

Covers first-order logic syntax, semantics, Skolemization, resolution, and normal form transformations.

Explains how to determine and build valid arguments in propositional logic.

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

Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.

Explores the importance of soundness and completeness in a propositional proof system.