.dsy:it. - [AIUTO] Esercizi

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

Posted by nickname on 17-02-2005 08:46:

aiuto su 2 esercizietti

premetto che nonso se son dimostrazioni o contromodelli:

1

VxVyR(x,y) -> nonExP(x) => nonVxnonP(x) -> EynonR(y,y)

2

VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) => VxnonQ(g(x)), ExnonR(x)

__________________
alive in the superunknown

Posted by Flavia on 17-02-2005 15:40:

1.
VxVyR(x,y) -> nonExP(x) => nonVxnonP(x) -> EynonR(y,y);
VxVyR(x,y) -> nonExP(x), nonVxnonP(x) => EynonR(y,y);
VxVyR(x,y) -> nonExP(x) => EynonR(y,y), VxnonP(x);
VxVyR(x,y) -> nonExP(x) => EynonR(y,y), nonP(a);
VxVyR(x,y) -> nonExP(x), P(a) => EynonR(y,y);
VxVyR(x,y) -> nonExP(x), P(a) => EynonR(y,y) , nonR(a,a);
VxVyR(x,y) -> nonExP(x), P(a) , R(a,a) => EynonR(y,y);

Poi divido in due rami:
PRIMO RAMO:
P(a) , R(a,a) => EynonR(y,y) , VxVyR(x,y);
P(a) , R(a,a) => EynonR(y,y) , R(b,c);
P(a) , R(a,a) => EynonR(y,y) , R(b,c) , non R(b,b) , non R(c,c) ;
P(a) , R(a,a) , R(b,b) , R(c,c) => EynonR(y,y) , R(b,c);

Non serve analizare un secondo ramo perchè sei già arrivato al contromodello:
D = (a,b,c) ;
Interpretazione di P = a
Interptrazione di R = (a,a) ; (b,b) ; (c,c )

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.
:date:

Posted by Flavia on 17-02-2005 15:49:

Re: aiuto su 2 esercizietti

Originally posted by nickname
premetto che nonso se son dimostrazioni o contromodelli:

2

VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) => VxnonQ(g(x)), ExnonR(x)

VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) => VxnonQ(g(b)), ExnonR(x) ;
VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) => nonQ(g(b)), ExnonR(x) ;
VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) , Q(g(b)) => ExnonR(x) ;
VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) , Q(g(b)) ,
(Q(g(b)) e R(g(b)) -> EznonP(a,z))=> ExnonR(x) ;

PRIMO RAMO:
VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) , Q(g(b)) ,
EznonP(a,z))=> ExnonR(x) ;
VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) , Q(g(b)) ,
nonP(a,c))=> ExnonR(x) ;
VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) , Q(g(b)) , => ExnonR(x), P(a,c) ;
VxVyP(x,y), P(a,c), Vy(Q(y) e R(y) -> EznonP(a,z)) , Q(g(b)) , => ExnonR(x), P(a,c) ;
ASSIOMA CON P(a,c)

SECONDO RAMO:
VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) , Q(g(b)) => ExnonR(x) , (Q(g(b)) e R(g(b))

divido ulteriormente in due rami:
PRIMO RAMO:
VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) , Q(g(b)) => ExnonR(x) , (Q(g(b))
Assioma con Q(g(b))

SECONDO RAMO:
VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) , Q(g(b)) => ExnonR(x) , R(g(b)) ;
VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) , Q(g(b)) => ExnonR(x) , R(g(b)) , non R(g(b));
VxVyP(x,y), Vy(Q(y) e R(y) -> EznonP(a,z)) , Q(g(b)), R(g(b)) => ExnonR(x) , R(g(b)) ;
Assioma con R(g(b))

Ciao! :cool:

Posted by UZI on 17-02-2005 17:29:

FLAVIA 4 PRESIDENT!!!
:ola:

__________________
those who test will find a bullet in they chest
put ta rest
by a brotha who was hopeless
grow up broke on tha rope of insanity
how many pistols smoking coming from a broken family

Posted by nickname on 17-02-2005 17:35:

grande flavia sei sempre la migliore

__________________
alive in the superunknown

Posted by Vale on 21-02-2005 13:34:

ciao,

volevo sapere come fare a risolvere il seguente esercizio:

Si determinino le condizioni di verità dell'enunciato

"Nessun marinaio ama una ragazza bruna"

dando al quantificatore "nessun marinaio" ambito ampio. Si stabilisca poi (mediante un calcolo logico del primo ordine) se da tale enunciato e dal dato di fatto che

"Lucia è una ragazza bruna"

si possa o meno dedurre che

"Nessun marinaio ama Lucia"

e poi cosa si intende per "ambito ristretto" e ambito ampio"???

grazie 1000!

Posted by UZI on 21-02-2005 14:19:

Originally posted by Vale
ciao,

volevo sapere come fare a risolvere il seguente esercizio:

Si determinino le condizioni di verità dell'enunciato

"Nessun marinaio ama una ragazza bruna"

dando al quantificatore "nessun marinaio" ambito ampio. Si stabilisca poi (mediante un calcolo logico del primo ordine) se da tale enunciato e dal dato di fatto che

"Lucia è una ragazza bruna"

si possa o meno dedurre che

"Nessun marinaio ama Lucia"

e poi cosa si intende per "ambito ristretto" e ambito ampio"???

grazie 1000!

la questione dell'ambito in questa frase è analoga a quello di "ogni italiano ama una squadra" che trovi spiegata a pg. 31 della dispensa di filosofia.

detto in parole semplici, dare al quantificatore "nessun marinaio" ambito ampio equivale a considerare la frase come 'nessun marinaio ama una qualsiasi ragazza bruna'. se invece l'ambito ampio l'avesse avuto "una ragazza bruna", la frase avrebbe avuto il significato di 'c'è una precisa ragazza bruna che non è amata da nessun marinaio'.

almeno, questo è quello che ho capito io, non sono un drago in sta' materia...

__________________
those who test will find a bullet in they chest
put ta rest
by a brotha who was hopeless
grow up broke on tha rope of insanity
how many pistols smoking coming from a broken family

All times are GMT. The time now is 15:17.

Show all 7 posts from this thread on one page