.dsy:it. (http://www.dsy.it/forum/)
- Filosofia del linguaggio (http://www.dsy.it/forum/forumdisplay.php?forumid=78)
-- [Esame] Tema esame giugno 2004 (http://www.dsy.it/forum/showthread.php?threadid=15915)

Tema esame giugno 2004

Ciao a tutti, io sono riuscito a svolgere i primi 2 esercizi sulle dimostrazioni, ma non riesco a capire i restanti 2...
Per caso son da fare?


Ciao
Grazie

__________________
msn: paolo198328@hotmail.com

[dubbio] temi d'esame...

1. Determinare composizionalmente le condizioni di verità dei seguenti enunciati.

Ovvero? Come si procede per fare l'esercizio?

Gli esercizi che famo a lezione non riguardano mica lambda conversioni + c&m (ca**i e mazzi?)

Dài datemi una mano che se no vado in paranoya...

__________________
http://www.noya.it
--------
Delta9 Drum&Bass Crew
--------
Associazione Orange

dài però...

Allora nessuno che mi dica come procedere...

vabbè...
Per ora ho lambda convertito un paio di questi esercizietti... in attesa di sapere come si concludano.

per esempio 1.3:
Antonio compra un anello e lo regala a Maria

ESISTE y (anello(y) AND (compra(Antonio,y) AND regala(Antonio, y, Maria)))

1.4
Nessuno studente che non si impegni supera un esame di matematica

premetto che ho trattato "non si impegni" come : NOT impegni (x,x) ; basandomi più sull'intuito che su qualche regola...

comunque dovrebbe risultare:

NOT ESISTE x (studente(x) AND (NOT impegni(x,x)) AND ESISTE y (esame(y) AND di(y, matematica) AND supera(x,y)))

ora... non prendetele per giuste a priori... anzi se ho sbagliato, sarei felice se qualcuno me lo facesse notare !

__________________
http://www.noya.it
--------
Delta9 Drum&Bass Crew
--------
Associazione Orange

per quanto riguarda la tua prima domanda, penso che "Determinare composizionalmente le condizioni di verità dei seguenti enunciati" significa arrivare semplicemente alla formula con gli Esiste e i PerOgni...

gli esercizi che hai postato anche a me vengono cosi e se guardi nell'area filez ci sono gli allegati degli esercizi di flavia anche!

__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"