Lectures related to Concept of Proof in Mathematics

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

Introduces Cartesian product and induction for proofs using integers and sets.

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

Explores the significance of logic in mathematics and science through properties and propositions.

Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.

Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.

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