Semantics: Predicate Logic

Поделиться
HTML-код
  • Опубликовано: 13 дек 2024

Комментарии • 8

  • @xXjoewatzenbergXx
    @xXjoewatzenbergXx 16 дней назад +1

    You're an amazing teacher

  • @anthonyowens30
    @anthonyowens30 Год назад +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

  • @连庆伟
    @连庆伟 Год назад

    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!