Lectures related to Classical logic

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

Explores predicate logic, covering quantifiers, equivalences, and translations from natural language.

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

Introduces Coq, covering defining propositions, proving theorems, and using tactics.

Covers predicate logic basics, quantifiers, equivalences, and natural language translation examples.

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

Covers examples of direct and indirect proofs in mathematics.