Logic: Proof Techniques

Related lectures (28)

Page 1 of 3

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

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

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

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.

Covers the concept of formal proof systems, their structure, and soundness.

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

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

Covers translating natural language to propositional logic and proving tautologies.

Covers the basics of discrete mathematics, including logic, structures, and algorithms.

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.