Video není dostupné.
Omlouváme se.

Semantics: Predicate Logic

Sdílet
Vložit
  • čas přidán 19. 08. 2024

Komentáře • 6

  • @anthonyowens30
    @anthonyowens30 Před 11 měsíci +1

    Thanks!

  • @michelro
    @michelro Před rokem

    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 Před rokem

    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

    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  Před rokem +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 Před rokem

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