.dsy:it.
Show 150 posts per page

.dsy:it. (http://www.dsy.it/forum/)
- Filosofia del linguaggio (http://www.dsy.it/forum/forumdisplay.php?forumid=78)
-- [Aiuto] Semantica (http://www.dsy.it/forum/showthread.php?threadid=10533)


Posted by Lunik on 01-05-2004 13:01:

[Aiuto] Semantica

Qualcuno ha capito gli esercizi sulla semantica? quelli con (D,I)...
a lezione aveva fatto degli esercizi sul simbolo minore uguale... correggendo i numeri 1, 5 e 6...
ma non ho capito come si svolgono...

grazie!

__________________
Il DSY su Facebook!!!


Posted by webnoise on 03-05-2004 12:55:

c'e' nessunooooooo? :D

:pensa: come si fanno questi esercizi? :pensa: :help:

__________________
Per una vita senza tabacco


Posted by Elex on 03-05-2004 17:36:

da quello che ho capito si applicano delle formule, cmq domani vi dico quello che ho capito prima della lezione. pare che gli esercizi mi vengano...

edit: per spiegare ho bisogno del mio quaderno e dei miei appunti per questo non vi spiego qui


Posted by Lunik on 04-05-2004 16:56:

non si applicano formule..ma proprietà...cmq è difficile da spiegare......cmq il tutto si basa su ragionamenti con esempi e bisogna fare attenzione al "per ogni" e "all'esiste".
Una cosa è certa: x capirli bisogna sapere bene la teoria...

__________________
Il DSY su Facebook!!!


Posted by Elex on 04-05-2004 17:47:

è vero che si chiamano formule :D


Posted by Lunik on 04-05-2004 17:58:

non confondiamo...
la formula in logica è il "sequente" ossia quando abbiamo EsisteXEsisteYQ(x,y) -> PerOgniR(x) v EsisteXP(x)
nei vari passaggi, per dire che il sequente è vera o no, devi ragionarci su e fare delle sostituzioni stupidotte con dei termini che appartengono al dominio D da non confondere con la struttura D
e tener sott'occhio il testo dell'esercizio per vedere il dominio, l'interpretazione di Q, R, P....

:teach:

__________________
Il DSY su Facebook!!!


All times are GMT. The time now is 19:22.
Show all 6 posts from this thread on one page

Powered by: vBulletin Version 2.3.1
Copyright © Jelsoft Enterprises Limited 2000 - 2002.