4. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Universal Instantiation
Loading...
Uploader Comments (drjasonjcampbell)
All Comments (15)
-
It's my report on Saturday!! Waah!! :D Thanks a lot Sir! :)) If you don't mind, do you have some lecture regarding this topic with some sample statements like a typical book is stating. Just like our book, first it stated the symbolic expression then the sample statement for it. Waiting for your response Sir. How I wish you're my logic teacher!
-
I thought the individual constants were a to w and individual variables were between x and z - so it's confusing to have the instantiation of (x)Ax->Bx) to be Ay->By. From the little that I know on the subject, that makes me think that "y" is being used as an individual variable, not a constant???? Thanks for making these videos. I am doing Predicate Logic through a home study course and the material provided for explaining all of this is not NOTGOOD - so I appreciate your instruction!
-
@gramo83 LOL...that made my day...good luck on your test! glad to help. peace.
-
Video #4 is exactly what I need help on!!! again. Awesome to have your videos on YouTube!!! Thanks. :)
12:27
5. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Universal Generalizationby drjasonjcampbell1,774 views- 4:49
3. Logic Lecture: Using Reductio Ad Absurdum to Test Validityby drjasonjcampbell409 views
- 3:56
4. Logic Lecture: Symbolic Logicby drjasonjcampbell3,677 views
- 9:51
2. Logic Lecture: Introduction to Predicate Logicby drjasonjcampbell2,856 views
- 15:20
8. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Conditional Proofby drjasonjcampbell2,338 views
- 9:51
8. Logic Lecture: Symbolic Logicby drjasonjcampbell3,530 views
- 10:21
1. Immanuel Kant Prolegomena to any Future Metaphysicsby drjasonjcampbell2,894 views
- 7:37
12. Logic Lecture: Symbolic Logicby drjasonjcampbell1,754 views
- 6:03
11. Logic Lecture: Symbolic Logicby drjasonjcampbell1,799 views
- 6:01
13. Logic Lecture: Symbolic Logicby drjasonjcampbell1,784 views
- 7:48
10. Logic Lecture: Symbolic Logicby drjasonjcampbell2,165 views
- 10:51
1. Ayn Rand Objectivist Epistemologyby drjasonjcampbell1,975 views
- 16:38
Logic Lecture: Epistemic Modal Logic and Rumsfeld Known Knowns and Zizek's Unknown Knownsby drjasonjcampbell2,406 views
- 9:58
5. Logic Lecture: Truth Tables God and the Problem of Evil 1by drjasonjcampbell3,331 views
- 8:23
7. Logic Lecture: Truth Tables God and the Problem of Evil 3by drjasonjcampbell1,582 views
- 6:59
Logic Lecture: Introduction to Modal Logic - 1by drjasonjcampbell4,380 views
- 24:54
Logic Lecture: Constructing Venn Diagramsby drjasonjcampbell566 views
- 13:53
1. Logic Lecture: Using Reductio Ad Absurdum to Test Validityby drjasonjcampbell1,317 views
- 9:58
Logic Lecture: Introduction to Modal Logic - 4by drjasonjcampbell1,225 views
I LOVE YOU! Thank you. I didn't understand this during today's lecture at my school... thanks to you I get it!!
What institution do you teach at may I ask??
SellsAlyssa 2 weeks ago
@SellsAlyssa ...at the time of this response, I'm at Nova Southeastern University in Ft. Lauderdale, Florida. peace and thanks for watching.
drjasonjcampbell 2 weeks ago
Great videos, I appreciate your time to create these.
jamesknight002 6 months ago
@jamesknight002 Thanks for watching, peace.
drjasonjcampbell 6 months ago
Thank you very much for your videos!
Like 1Evaly I'm a little confused about the use of y. I believe I understand the way you're using it, but in the book I'm using for my studies (if I understand it correctly) it is not used as an instantiation of x but as a second variable with its own range, independent of the range of x (such that x may be "all planets" while y is "all moons", for example). Am I misunderstanding it or are these just different ways of using the variables?
Blodhosta 10 months ago
@Blodhosta Go this this video: past the code after youtube dot com /
watch?v=NUj8SJCnRGE&feature=channel_video_title
and jump to 12:20 in the video. I address it directly. Let me know if it helped. Peace.
drjasonjcampbell 10 months ago