Semantics: Predicate Logic

แชร์
ฝัง
  • เผยแพร่เมื่อ 30 มิ.ย. 2024
  • This video covers predicate logic in #semantics for #linguistics. We talk about predicates, quantifiers (for all, for some), how to translate sentences into predicate logic, scope, bound variables, free variables, and assignment functions.
    Join this channel to get access to perks:
    / @trevtutor
    Instagram: / trevtutorofficial
    Website: TrevTutor.com
    Subscribe: bit.ly/1vWiRxW
    Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates. If you have any questions, leave them below. I try to answer as many questions as possible.

ความคิดเห็น • 6

  • @anthonyowens30
    @anthonyowens30 9 หลายเดือนก่อน +1

    Thanks!

  • @michelro
    @michelro ปีที่แล้ว

    Hi there, quick question around 17:07, can we also translate this as ∀(x)[¬Person(x) -> L(x,f)] this is like saying "Everyone who's NOT a person likes frank"? Thanks

  • @user-zz2tg8vt3t
    @user-zz2tg8vt3t 11 หลายเดือนก่อน

    can anyone help me, I am doing my journal article. I have a verb data which the verb doesn't have subject as the language also doesn't have pleonastic subject. In other word, the subject is non-overt. What logic form it will be? Meanwhile the data can be add on with adverb, is adverb symbolize another logic variable?
    The data I am talking about is 'hujan hari ini' or 'it is raining today'
    hujan in Malay Language doesn't have subject as the 'hari ini or today' is an adverb hmm...

  • @philosophyversuslogic
    @philosophyversuslogic ปีที่แล้ว

    What about x and y in such open formulas as Px and Py? Are they equal? Because I don't understand can we say that x overlaps y, and vice versa? Thanks

    • @Trevtutor
      @Trevtutor  ปีที่แล้ว +1

      You’d have to establish that x=y to force them to be the same or NOT(x=y) to force them to be different. They *can* be the same but they can also be different

    • @philosophyversuslogic
      @philosophyversuslogic ปีที่แล้ว

      @@Trevtutor I see, I am very grateful to your explanation! Thanks!