Semantics: Predicate Logic

[@anthonyowens30]

Thanks!

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

[@Sahilbc-wj8qk]

No, it's fallacies

[@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]

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]

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