Predicate Logic Symbolization Summary

Summary of the basic symbolization forms for predicate logic.
Please see www.ifpthenq.net for more info and online quizzes.

[@usynnstradler]

my left ear loves your explanation

[@tigitigisweetie]

You have no idea how much I loved your class! Amazing!!

[@farhanazam8981]

why do you explain so much better than my lecturer?

[@RofaidaGoda]

Farhan Azam totally agree😺

[@ayeayyiu]

because you are not supposed to sleep during lectures, Karen

[@jellologic]

I first reword the sentences as standard universal sentences. I use parentheses and capitalization to distinguish the predicates. I symbolize using the capital "A" as universal quantifier, and ">" as arrow. 1. All (who may VOTE in special municipals) are (PROPERTY owners). Ax(Vx>Px) 2. All (the ELEVATORS that may be used by employees) are (SERVICE type). Ax(Ex>Sx) 3. All (who may use the SERVICE elevator) are (EMPLOYEES). Ax(Sx>Ex) There are other possibilities that are more complicated.

[@saimadnan1934]

i love you brother , you simply explain better than my professor , thanks i just learned what i needed to . :)

[@Incognito2.0]

Fully agree!

[@viviannnnnli]

thank you! helped me when i was studying for my final exam in a second year philosophy course :D

[@katchie2888]

Thank you so much! Quiz tomorrow, this helped clear some things up

[@FunkyDopeBrother]

I'm getting the sensation that someone behind me is lecturing me in my left ear *shudders*

[@frostyfeet4932]

Thank you for this video, make it very easy for me to understand. Keep up the good work!

[@consum5771]

This was very helpfull, thanks for the Video:)

[@TenderBug]

realized lots from this video. Thank You

[@Han-ns6wt]

The best summary

[@elghunk]

Good points here! I learned something new.

[@jellologic]

Yes, your examples are interesting. They look like they should be universals, but the position of the "not" makes them ambiguous, and in both cases it turns out that the most natural way to understand them is as existentials. Natural languagemaking trouble for logicians at every turn!

[@andrewpersaud4144]

is it wrong to state the domain being frogs and just using g(x) throughout , instead of f(x) and g(x), where g is the predicate "is green" ?

[@andrewpersaud4144]

+Andrew Persaud nevermind this would only carry you to number 6 lol

[@abdurrahimemin6483]

thank you so much it was a clear explanation

[@LazyAnsem]

You are my hero. I love you.

[@farhadg_com]

Thank you for this video. It truly helped out, and I did much better as a result on my quiz. Please post up more videos, regarding Predicate Logic. Thanks!

[@richasoni717]

thanks for explanation

[@kashey2000]

Did you make this specifically for your class? Cause its plenty helpful to the rest of us too!

[@simonasb1208]

Excellent.

[@aadisriram]

Nice tutorial! Thank you

[@BlkSh33p]

How do you symbolize the following: 1. Only property owners may vote in special Municipals. 2. Employees may use only the service elevator. Only employees may use the service elevator.

[@messageofislam9678]

Good work bro

[@jellologic]

Different logic texts use different symbols. "And" is symbolized by the caret (^), the ampersand (&), and occasionally by a dot. It really doesn't have anything to do with the UK vs. the US.

[@ayoubbenaissa1737]

in the second one why didn't you use two varibales x and y? becuase as I understood what you wrote informs that:"there is at least a forg that is green"

[@karanadvani5190]

thank you

[@karanadvani5190]

thank you

[@karanadvani5190]

thank you

[@cherrd]

I want to ask a few questions, is everybody considered to be a universal quantifier, thus I want to ask if I want to say "If someone is noisy, he annoys everybody" would it be Ex[Noisy(x)] -> Ay[Annoys(he, x)] and someone is it an existential quantifier?? Thanks!!!

[@jellologic]

There are many types of logic classes. I teach symbolic logic, which is really just disguised math. Why should you study math? Basic arithmetic is all that most people need, right? My main answer is that working with symbols is weight-lifting for the brain. The value of weight-lifting is not so much that it allows you to lift heavy stuff, rather it's a good all-purpose way to improve physical health. Weight-lifting improves physical fitness, math & logic improve mental fitness.

[@ifrog92]

Thanks, you are amazing! x

[@wtrezel]

@jedivolks - Life --> Get one

[@SuCKeRPunCH187]

the ampersand represents a conjunction right?

[@livingwaters2762]

Thanks, can you help me on my question?

[@conformist]

Dang, a video from 2007 and it has 480p. That's what I call HD

[@ejdjnunez8987]

Are you a teacher at university of Houston? Cuz you sound really familiar.

[@Xorgot]

he is! I had him last year

[@romand123]

@jellologic Thanks for posting this.

[@teckluv4413]

YES ! THX

[@3bood_kr]

I thought my right headphone was broken

[@FeriaDamisela]

thanks! a lot of help! :D

[@mrjonte2309]

Fixed the audio: kzbin.info/www/bejne/gJjReYePjcdllZI

[@BalkanixGaming]

Hey, can anyone help me with this translation, please? "To pass the SEG exam the students have to obtain grade 5 to all the three evaluation forms: laboratory, test, final exam. If one of these grades are below 5, even if the others are higher, the student fails."

[@zainab6140]

Hi! does anybody know how to translate "there is maximum one frog that is green"? help please

[@kashey2000]

Tell that to all the people living in poverty around the world.

[@Imy297]

why did he use 6 to represent green

[@goksgk77]

hmm we have more diff. examples in my country i guess from what im looking on the net for exp. how can we write this example. Every human have exactly 2 bilogical parents?! need as quick as possible thx ! :D

[@BelligerentStyle]

My logic exam is aproaching and I'm freaking out

[@stormyascent6982]

2:28 go with what now???

[@teefirdaus]

ampersands == &

[@SamVsCode]

My left ear is so lonely :'(

[@paranoiajump6109]

Flip your headphones

[@hanabekele194]

Kkkk 15 years ago I was 7 years old grade 1 student

[@thisisthefoxe]

omg can you please dix your audio? cant watch that vid that way -.-

[@DaveSohan]

You sound like Kermit :D Thanks a lot for the explanation :)

[@mannyfox8089]

wish this was louder

[@xXxLax4LifexXx]

turn it up to 11

[@MusicIan423]

so intense

[@okzoia]

Why the flashing green, red and yellow lights? Someone took acid!

[@mhsamsim]

@Hassan Zahid at least one is equivalent of some... some means at least one but not all

[@jellologic]

In logic "some" means "at least one." "Only some" means "at least one is, and at least one is not."

[@qte5530]

Frogs are gods 🙈

[@qte5530]

I could frog me self🙈

[@goksgk77]

there is no 480 lol.. :D

[@kashey2000]

Ah here comes the epilepsy!

[@mkhethwam]

I was very disappointed with this video because of its quality! I have a problem with my eyes and having something I need to see flashing in all colours on the screen did me no favours.

[@greyhat9297]

sir can I get ur email..😊 please?

[@qte5530]

🤔frogs in wheelchairs😔

[@alfiraus]

:(

[@qte5530]

welcome to the new binary you never existed 🤔

[@qte5530]

TaFuckinDa😔🔫

[@markotorca]

man hört dich ja nur rechts