No video

Semantics: Predicate Logic

  Рет қаралды 6,142

TrevTutor

TrevTutor

Күн бұрын

Пікірлер: 6
@anthonyowens30
@anthonyowens30 11 ай бұрын
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 Жыл бұрын
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 Жыл бұрын
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!
Semantics: Scope Ambiguity
10:08
TrevTutor
Рет қаралды 3,7 М.
Translating ENGLISH into PREDICATE LOGIC
26:04
TrevTutor
Рет қаралды 103 М.
Cute kitty gadgets 💛
00:24
TheSoul Music Family
Рет қаралды 11 МЛН
طردت النملة من المنزل😡 ماذا فعل؟🥲
00:25
Cool Tool SHORTS Arabic
Рет қаралды 18 МЛН
Little brothers couldn't stay calm when they noticed a bin lorry #shorts
00:32
Fabiosa Best Lifehacks
Рет қаралды 20 МЛН
[Logic] Predicate Logic
19:17
TrevTutor
Рет қаралды 159 М.
LING 324 [6-3] Translations in Predicate Logic
43:30
TBlockSFU
Рет қаралды 10 М.
SCOPE and FREE and BOUND Variables in Predicate Logic
15:39
TrevTutor
Рет қаралды 14 М.
TRUTH TREES for QUANTIFIERS in Predicate Logic
19:47
TrevTutor
Рет қаралды 12 М.
Semantics: Truth-Conditional Meaning In Model Theory F1
19:17
TrevTutor
Рет қаралды 4,2 М.
SEM122 - Predicate Logic II
17:13
The Virtual Linguistics Campus
Рет қаралды 58 М.
8.1  Predicate Logic:  Symbols & Translation
57:47
Mark Thorsby
Рет қаралды 72 М.
Modal Logic Semantics | Attic Philosophy
15:27
Attic Philosophy
Рет қаралды 6 М.
Natural Deductive Logic - Universal and Existential Rules
15:55
Lexical Semantic Relations
14:35
Atticus Harrigan
Рет қаралды 51 М.
Cute kitty gadgets 💛
00:24
TheSoul Music Family
Рет қаралды 11 МЛН