Semantics: Predicate Logic

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

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

  • @anthonyowens30
    @anthonyowens30 Год назад +2

    Thanks!

  • @xXjoewatzenbergXx
    @xXjoewatzenbergXx 2 месяца назад +1

    You're an amazing teacher

  • @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

  • @philosophyversuslogic
    @philosophyversuslogic 2 года назад

    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  2 года назад +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 2 года назад

      @@Trevtutor I see, I am very grateful to your explanation! 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...

  • @Sahilbc-wj8qk
    @Sahilbc-wj8qk 5 дней назад

    It's better to use atleast one rather then Some
    No person like ford
    Not (Atleast one person)