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.
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.
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!
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.
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!!!
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!
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.
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"
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
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."
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.
![[Logic] Predicate Logic](http://i.ytimg.com/vi/h5UTvdcgFHw/mqdefault.jpg)
my left ear loves your explanation
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.
You have no idea how much I loved your class! Amazing!!
why do you explain so much better than my lecturer?
Farhan Azam totally agree😺
because you are not supposed to sleep during lectures, Karen
I'm getting the sensation that someone behind me is lecturing me in my left ear *shudders*
Thank you so much! Quiz tomorrow, this helped clear some things up
i love you brother , you simply explain better than my professor , thanks i just learned what i needed to . :)
Fully agree!
This was very helpfull, thanks for the Video:)
thank you! helped me when i was studying for my final exam in a second year philosophy course :D
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.
Thank you for this video, make it very easy for me to understand. Keep up the good work!
The best summary
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!
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.
realized lots from this video. Thank You
Good points here! I learned something new.
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!!!
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" ?
+Andrew Persaud nevermind this would only carry you to number 6 lol
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!
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.
Nice tutorial! Thank you
Good work bro
You are my hero. I love you.
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"
thank you so much
it was a clear explanation
the ampersand represents a conjunction right?
Did you make this specifically for your class? Cause its plenty helpful to the rest of us too!
Excellent.
thanks for explanation
@jedivolks - Life --> Get one
thank you
thank you
thank you
Dang, a video from 2007 and it has 480p. That's what I call HD
I thought my right headphone was broken
Thanks, you are amazing! x
Thanks, can you help me on my question?
Are you a teacher at university of Houston? Cuz you sound really familiar.
he is! I had him last year
@jellologic Thanks for posting this.
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
Hi! does anybody know how to translate "there is maximum one frog that is green"? help please
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."
thanks! a lot of help! :D
YES !
THX
Tell that to all the people living in poverty around the world.
You sound like Kermit :D
Thanks a lot for the explanation :)
@Hassan Zahid at least one is equivalent of some... some means at least one but not all
In logic "some" means "at least one." "Only some" means "at least one is, and at least one is not."
Kkkk 15 years ago I was 7 years old grade 1 student
Fixed the audio: ruclips.net/video/JgnHTYXb2_0/видео.html
My logic exam is aproaching and I'm freaking out
why did he use 6 to represent green
2:28 go with what now???
ampersands == &
so intense
My left ear is so lonely :'(
Flip your headphones
omg can you please dix your audio? cant watch that vid that way -.-
wish this was louder
turn it up to 11
Ah here comes the epilepsy!
Why the flashing green, red and yellow lights? Someone took acid!
sir can I get ur email..😊 please?
Frogs are gods 🙈
I could frog me self🙈
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.
there is no 480 lol.. :D
🤔frogs in wheelchairs😔
welcome to the new binary
you never existed 🤔
TaFuckinDa😔🔫
:(
man hört dich ja nur rechts