LANGUAGES - SLIDE 01
LANGUAGES - SLIDE 02
LANGUAGES - SLIDE 03
LANGUAGES - SLIDE 04
LANGUAGES - SLIDE 05
LANGUAGES - SLIDE 06
LANGUAGES - SLIDE 07
LANGUAGES - SLIDE 08
LANGUAGES - SLIDE 09
LANGUAGES - SLIDE 10
LANGUAGES - SLIDE 11
LANGUAGES - SLIDE 12
Individuals here is not such a good word, because usually are
some generous concepts and sometimes some individuals.
LANGUAGES - SLIDE 13
LANGUAGES - SLIDE 14
LANGUAGES - SLIDE 15
LANGUAGES - SLIDE 16
LANGUAGES - SLIDE 17
LANGUAGES - SLIDE 18
LANGUAGES - SLIDE 19
LANGUAGES - SLIDE 20
I:L->D,where L={A,∧,∨,¬}，if I take
∧,∨,¬ as the domain of interpretation function,that will
make no sense. So,the domain of interpretation should not
include the standalone "∧,∨,¬ ",but it can bbtain the
symbol in the form of wff,namely logic symbol combined with
Atomic ,for instance I(¬A),I(A∧B).
LANGUAGES - SLIDE 21
LANGUAGES - SLIDE 22
LANGUAGES - SLIDE 23
LANGUAGES - SLIDE 24
We can derive that in extensional model,D is a set which
including the studied instances,L is a set which can obtain
objects, attributes,relations and logic operator ∧, ∨,
¬.
As mentioned D = domain (a is in D). The set of objects of interest. But for the formal intensional model we don’t provide any objects as outcome, but we only provide the T/F. So, the D = domain, should be like only = {T, F} as mentioned in the next slide.
LANGUAGES - SLIDE 25
LANGUAGES - SLIDE 26
LANGUAGES - SLIDE 27
LANGUAGES - SLIDE 28
LANGUAGES - SLIDE 29
LANGUAGES - SLIDE 30
LANGUAGES - SLIDE 31
LANGUAGES - SLIDE 32
LANGUAGES - SLIDE 33
LANGUAGES - SLIDE 34
LANGUAGES - SLIDE 35
LANGUAGES - SLIDE 36
LANGUAGES - SLIDE 37
LANGUAGES - SLIDE 38
LANGUAGES - SLIDE 39
LANGUAGES - SLIDE 40
LANGUAGES - SLIDE 41
LANGUAGES - SLIDE 42
|
