Practice with predicate logic proofs that focus on the use of existential introduction and universal elimination.
Timestamps
0:00 Introduction
0:47 Proof 1
3:47 Proof 2
6:25 Proof 3
7:45 Proof 4
10:17 Proof 5
TIPS!
1. Write down the proofs. They can be found at 0:00.
2. Try to solve them yourself on a separate piece of paper.
3. Watch the video where the proof is solved and compare your answers. If you made a mistake, write down your mistake and mark that proof since you will want to retry it at a later date.
4. Take a break, smell the flowers, let your mind relax.
5. Go back to the proofs that you made mistakes on and, without looking at the answer, try to redo that proof.
For videos that explain these rules, see:
Predicate Logic, Proofs: Introduction: https://youtu.be/mRDvmBzvSAw
Predicate Logic, Proofs: Universal Elimination: https://youtu.be/zj_Bb3kHhvs
Predicate Logic, Proofs: Existential Introduction: https://youtu.be/9c2flJ3EIUY
Predicate Logic, Proofs: Universal Introduction: https://youtu.be/koWE494S5nc
Predicate Logic, Proofs: Existential Elimination: https://youtu.be/6ZCmlz_s9TU
_____________________________________________________
• Symbolic Logic: Syntax, Semantics and Proof (Amazon): https://amzn.to/2RX7ALb
• SUBSCRIBE to my channel for more videos: https://goo.gl/ukVPLo
• Follow me on Twitter - https://twitter.com/davidagler
• Logic Website: http://davidagler.com/teaching/logic.html
