Mathematical logics Spring 2010
 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
University of Trento - Master in Computer Science