nickname

User info:

Registered: Nov 2001
Posts: 22 (0.00 al dì)
Location: residenza
Corso:
Anno:
Time Online: 14:48:22 [...]
Status: Offline

Post actions:

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

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.40 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

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.

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.40 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

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!

__________________
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.

UZI

free pain dispenser

User info:

Registered: Mar 2003
Posts: 2211 (0.28 al dì)
Location: monza - troppi fighetti
Corso: com. dig.
Anno: Dottor Morte
Time Online: 14 Days, 4:46:06: [...]
Status: Offline

Post actions:

FLAVIA 4 PRESIDENT!!!

__________________
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

nickname

User info:

Registered: Nov 2001
Posts: 22 (0.00 al dì)
Location: residenza
Corso:
Anno:
Time Online: 14:48:22 [...]
Status: Offline

Post actions:

grande flavia sei sempre la migliore

__________________
alive in the superunknown

Vale

User info:

Registered: Jul 2002
Posts: 230 (0.03 al dì)
Location:
Corso:
Anno:
Time Online: 3 Days, 19:48:50 [...]
Status: Offline

Post actions:

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!

UZI

free pain dispenser

User info:

Registered: Mar 2003
Posts: 2211 (0.28 al dì)
Location: monza - troppi fighetti
Corso: com. dig.
Anno: Dottor Morte
Time Online: 14 Days, 4:46:06: [...]
Status: Offline

Post actions:

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!

__________________
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