BM3. Formal Proofs
Basic Methods: We define theorems and describe how to formally construct a proof. We note further rules of inference and show how the logical equivalence of reductio ad absurdum allows proof by contradiction.
▶︎
BM4. Methods of Proof
▶︎
Logic - Introduction to Fitch-style Natural Deduction proofs - Proofs #1-10
▶︎
BM2. Logical Equivalence
▶︎
RULES of INFERENCE - DISCRETE MATHEMATICS
▶︎
Logic 101 (#36): Introduction to Proofs
▶︎
9 tips to help you PROVE MATH THEOREMS
▶︎
You're doing Natural Deduction wrong!
▶︎
Lecture 1: Sets, Set Operations and Mathematical Induction
▶︎
Step-By-Step Guide to Proofs | Ex: product of two evens is even
▶︎
How to Read Logic
▶︎
❖ Four Basic Proof Techniques Used in Mathematics ❖
▶︎
Logical Arguments - Modus Ponens & Modus Tollens
![[Logic] Proofs and Rules #1](https://i.ytimg.com/vi/m2j0TX-e8NY/hq720.jpg?sqp=-oaymwEbCNAFEJQDSFryq4qpAw0IARUAAIhCGAG4AvcY&rs=AOn4CLAmBJ55-EcwMguBmDxW7vTOvRDLTA&usqp=CCc)
▶︎
[Logic] Proofs and Rules #1
▶︎
When an audition changed TV forever
▶︎
Learning Math Proofs, Real Analysis, and Abstract Algebra
▶︎
Masters vs PhD in mathematics
▶︎
BM1. Propositional Logic
▶︎
Strong induction example 1
▶︎