4. Logic Lecture: Predicate Logic: Formal Proofs of Validity: Universal Instantiation

[shannonwilmore]

Oh my stars!!!. Dr. Campbell. You have no idea how much your videos have helped me. I was feeling so hopeless. I have been going at this for weeks.

[graceh]

i have my final today and needed a little clarification, thank you for helping educate those of us who need it!

[happybuttonquail]

YOU DR JASON First video on Discrete Math that hits home. Nothing in the books or lecture teaches me how to properly do formal proofs. Will be watching all your DM videos, subbing and liking everything.

[program]

Thanks Dr. Campbell! I'll be studying your other videos as well. 

[BarryMichaelDoyle]

You're a life saver man :)  Saved me so much time of trying to grasp it myself through correspondence studying ;)

[TurboSol]

Dang and I just finished writing out all the Symbols from your logic videos! I should have waited for the PDF! Ha ha.


-Matt

[drjasonjcampbell]

@gramo83 LOL...that made my day...good luck on your test! glad to help. peace.

[drjasonjcampbell]

@GreenIce221 haha...Nah...but I lived in Brooklyn for 10 years as a kid. Still have a little Northeast accent I see. I never switched to the southern twang, though I've lived in the south for many many years. Good ear.

[drjasonjcampbell]

@jamesknight002 Thanks for watching, peace.

[drjasonjcampbell]

@SellsAlyssa ...at the time of this response, I'm at Nova Southeastern University in Ft. Lauderdale, Florida. peace and thanks for watching.

[inadaizz]

Thank you for the upload! Look at ~5 years ago you. being bause and making learning free to all with the ability to learn. Dont be nervious you're doing great. (5 years late I know.)

[Evaly]

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!

[americaisacontinent.]

Hello. I wanted to touch base on Politics and Logic. My question to you is, is Democracy based on Fuzzy Logic or on Universal Logic? Or if it does not represent either one of them?

[drjasonjcampbell]

@95TurboSol haha...yeah I had to type it up between eating a second turkey sandwich...

[AbstractAbsorption]

No problem. Also, can you explain how P and P (listed just below what should be P v ~P under tautologies) is a tautology?

[sirwheistein]

So the whole point was just to remove the "for all" sign and use another variable in the proof. Thanks a bunch.

[AbstractAbsorption]

On the second page of the pdf you linked in the description, under tautologies, should it not be:
P v ~P

as opposed to P v P (as it currently is)?

[drjasonjcampbell]

@Blodhosta Go this this video: past the code after youtube dot com /

and jump to 12:20 in the video. I address it directly. Let me know if it helped. Peace.

[mrblueeyes]

ummm uhhh ummm let me say uhhh I will just start with the last uhh i mean the first ummm well uhhh never mind