Sir, your channel is one of the treasures that I found in UA-cam. Thank you for your dedication to educate people all over the world. Always be healthy🙏
superb explanation but can you please tell me why you put implication with Universal Quantifier and Conjunction with There exist Quantifier what is the reason?
I've got some predicate logic problems that I have done. a. Each person is either a student or a staff. Allx(Student(x) or Staff(x)) b. Each lecturer teaches some courses. Allx(Lecturer(x)-->~Courses(x)) c. Some hard-working people are not boring. Somex(Hard-working(x) ^~Boring(x)) d. Hard-working people are respectable. Allx(Hard-working(x) ^ respectable(x)) e. Everyone knows some hard-working people. Allx(Knows(x) ~ Hard-working(x)) Is it possible to check if I got it correct? Any help of correcting/confirming if these are correct would be appreciated.
Thank You for a very interesting Electure! But may I ask a question. Is quantifier always a subject presented by the noun phrase or verb phrase? Or it can be anything logically suitable in the discussion?
Sir there is also one solution exist for that case, if all girls love paul so I can write all the letters of girl in capitalize (GIRLS) order, if some girls love so girl is capitalize but s is still written in lowercase (GIRLs) which represents some but not all, and if no girl love paul so all alphabets should be in lowercase (girls)
Maybe someone can clarify this for me. I'm required to take this class at my university; however, I don't see the purpose for knowing any of this. What are the real-world applications to this knowledge?
Predicate logic deals with how computers understand natural language. Simply ,if you tell your computer "I love pineapples" then using predicate logic , it will actually UNDERSTAND that you love pineapples. You see , predicate logic is a way to represent the MEANING of a sentence. So now that a computer has a way to understand basic sentences it can do various things for us. Like summarizing a huge bunch of text into a tiny paragraph(of course this is a very elaborate process which involves much more than Predicate logic). Newspaper apps on your mobile phone use the same technology. Then there is language translation , text / speech recognition and other things. To know about computational linguistics you can read a book on "Natural Language Processing". It has a very important component called semantic analysis which is involved with the actual meaning of a sentence i.e. the context of a sentence. There you will found predicate logic. Natural Language Processing -> Semantic Analysis -> Predicate logic
Thank you! Finally someone gave me a real answer! Not many people in my class know the actual purpose for taking it, lol. I'm a linguistics major, so I had a feeling it had to do with computational linguistics.
i get to know more about quantifier, variable. but i still cannot answer few of my question. can someone help me? example of my question is "all students of this course are happy if they pass the mathematics exam".(university student).
Interpret your sentence as - If there is a person who has passed the mathematical exam, he will be happy. So you will have 2 predicates - 1. Passing mathematical exam (P(x)), 2. Being happy (H(x)). The predicate will be, For all X (P(x) ->H(x))
@@mahadeiv2458 There are 3 predicates 1. X is a student S(X) 2. X passes the Maths ExamP(X) and 3. X is Happy H(X). We can now say: For all X it holds that if X is a student and X passes the Maths exam then X is happy. The above can be put in the symbolic form as Vx[S(X).P(X)-->H(X)
There are some mistakes regarding the discussion of the negative quantifier "no" starting at about 10:23. (1) You cannot just negate a variable x. Instead, the correct predicate logic representation of "no" would be "not some x (P(x))". (2) Since there is thus an existential quantifier present, the correct connective for two properties would be conjunction "and", not implication, "then."
I have some problems on predicate logic 1). No guys likes Lisa 2). Every student reads some book 3). No student answers all questions. 4). John was a liberal but Jack was a socialist. Anybody pls solve it and explain, I will be very thankful for this
Thank you for the lecture! But must say Predicate Calculus is the mess, and it isn't worth to be studied. Firstly, it is not logical in some of it aspects: a) we assume some configuration of individuals, properties, which makes our universe be narrow; b) some rules as Universal introduction or Existential eliminations have non-logical elements in it; c) the arbitrariness which is used in some proof is completely broken. I guess (a) and (b) are not needed to be explained, not about (c), so here it is: when c is arbitrary we mean by that that, let's say, if a triangle has a sum of its angles equal to 180, then all the triangles have the same sum of their angles. What about dog named Fido? If Fido loves bones, then every such dogs as Fido loves bones. Usually we are being assured the constants cannot be used to generalize them, but it is a fault. We can do this. Does a triangle have some privileges over Fido? Nope. That's an absurd, so the Predicate Calculus.
No, but the linguists have stolen some concepts from math. Math uses predicate logic as a base for most mathematical theories, because it "conserve" truth.
thanks for this man, u have no idea how useful it is
Sir, your channel is one of the treasures that I found in UA-cam. Thank you for your dedication to educate people all over the world. Always be healthy🙏
Join us on oer-vlc.de
Thank you for this video and greetings from Spain!
Du bist so ein Ehrenmann! Manchmal wünsche ich mir so ein Dozenten.
You're a lifesaver!!! Thank you so much!
The explanation is clear.
Realy Very good ,thanks
Prof. Handke really loves his non-PC examples :P. Very easy to understand though :)
interesting and good representation
thanx for sharing
amazing thank you so much my friend!!
Very clear and concise. Thanks.
Thank you, good job
Thank you. I find it very interesting.
superb explanation
but can you please tell me why you put implication with Universal Quantifier and Conjunction with There exist Quantifier what is the reason?
great lecture
very helpful THANK U A LOT
great and useful........really.
thanks prof leaved your hand so usefull lecture
thank u , it's very clear and useful
Thanks!
Thanks very useful
Very good lecture.
very usefull
Very useful, Thank you.
Very clear concept
Great video
I've got some predicate logic problems that I have done.
a. Each person is either a student or a staff.
Allx(Student(x) or Staff(x))
b. Each lecturer teaches some courses.
Allx(Lecturer(x)-->~Courses(x))
c. Some hard-working people are not boring.
Somex(Hard-working(x) ^~Boring(x))
d. Hard-working people are respectable.
Allx(Hard-working(x) ^ respectable(x))
e. Everyone knows some hard-working people.
Allx(Knows(x) ~ Hard-working(x))
Is it possible to check if I got it correct?
Any help of correcting/confirming if these are correct would be appreciated.
Thank you, now I can understand Wittgensteins scribbles a bit better :D
good job >>>thanks ever so much
Confused re the introduction of a negative quantifier? I have only ever seen an existential and universal quantifier defined within this scope?
Thank You for a very interesting Electure! But may I ask a question.
Is quantifier always a subject presented by the noun phrase or verb phrase? Or it can be anything logically suitable in the discussion?
Thank you!
عمو شرح المادة ممتازة
Good explain teacher
Sir there is also one solution exist for that case, if all girls love paul so I can write all the letters of girl in capitalize (GIRLS) order, if some girls love so girl is capitalize but s is still written in lowercase (GIRLs) which represents some but not all, and if no girl love paul so all alphabets should be in lowercase (girls)
extremely good
wow ,good job
thanks
Thnku sho much sr..
😊
good vidio
Maybe someone can clarify this for me. I'm required to take this class at my university; however, I don't see the purpose for knowing any of this. What are the real-world applications to this knowledge?
Predicate logic deals with how computers understand natural language. Simply ,if you tell your computer "I love pineapples" then using predicate logic , it will actually UNDERSTAND that you love pineapples. You see , predicate logic is a way to represent the MEANING of a sentence.
So now that a computer has a way to understand basic sentences it can do various things for us. Like summarizing a huge bunch of text into a tiny paragraph(of course this is a very elaborate process which involves much more than Predicate logic). Newspaper apps on your mobile phone use the same technology.
Then there is language translation , text / speech recognition and other things.
To know about computational linguistics you can read a book on "Natural Language Processing". It has a very important component called semantic analysis which is involved with the actual meaning of a sentence i.e. the context of a sentence. There you will found predicate logic.
Natural Language Processing -> Semantic Analysis -> Predicate logic
Thank you! Finally someone gave me a real answer! Not many people in my class know the actual purpose for taking it, lol. I'm a linguistics major, so I had a feeling it had to do with computational linguistics.
my lecturer doesn't use & for and, he uses the upside down V, so this is confusing me
The upside down V is a suitable alternative.
please step by step
i get to know more about quantifier, variable. but i still cannot answer few of my question. can someone help me?
example of my question is "all students of this course are happy if they pass the mathematics exam".(university student).
Interpret your sentence as - If there is a person who has passed the mathematical exam, he will be happy.
So you will have 2 predicates - 1. Passing mathematical exam (P(x)), 2. Being happy (H(x)).
The predicate will be, For all X (P(x) ->H(x))
@@mahadeiv2458 There are 3 predicates 1. X is a student S(X) 2. X passes the Maths ExamP(X) and 3. X is Happy H(X).
We can now say: For all X it holds that if X is a student and X passes the Maths exam then X is happy. The above can be put in the symbolic form as Vx[S(X).P(X)-->H(X)
There are some mistakes regarding the discussion of the negative quantifier "no" starting at about 10:23. (1) You cannot just negate a variable x. Instead, the correct predicate logic representation of "no" would be "not some x (P(x))". (2) Since there is thus an existential quantifier present, the correct connective for two properties would be conjunction "and", not implication, "then."
gud stuff
it complicates me im not understant
I have some problems on predicate logic
1). No guys likes Lisa
2). Every student reads some book
3). No student answers all questions.
4). John was a liberal but Jack was a socialist.
Anybody pls solve it and explain, I will be very thankful for this
Thank you for the lecture! But must say Predicate Calculus is the mess, and it isn't worth to be studied. Firstly, it is not logical in some of it aspects: a) we assume some configuration of individuals, properties, which makes our universe be narrow; b) some rules as Universal introduction or Existential eliminations have non-logical elements in it; c) the arbitrariness which is used in some proof is completely broken. I guess (a) and (b) are not needed to be explained, not about (c), so here it is: when c is arbitrary we mean by that that, let's say, if a triangle has a sum of its angles equal to 180, then all the triangles have the same sum of their angles. What about dog named Fido? If Fido loves bones, then every such dogs as Fido loves bones. Usually we are being assured the constants cannot be used to generalize them, but it is a fault. We can do this. Does a triangle have some privileges over Fido? Nope. That's an absurd, so the Predicate Calculus.
'not" should be a backwards N
wagwan tumerada
No, but the linguists have stolen some concepts from math.
Math uses predicate logic as a base for most mathematical theories, because it "conserve" truth.
Thank you, good job