.dsy:it. (http://www.dsy.it/forum/)
- Filez (http://www.dsy.it/forum/forumdisplay.php?forumid=47)
-- come si risolve questo? (http://www.dsy.it/forum/showthread.php?threadid=25109)

come si risolve questo?

Volevo chiedervi se ho esiste(x)non (Q(x) -> (P(x) -> R(x,x))) la mia domanda è come risolvo l'implica all'interno della parentesi se fuori ho esiste(x) non? Sto provando a risolvere un contromodello ma a questo passaggio mi blocco perchè non so come si procede io risolvevo prima gli implica dentro le parentesi, ma penso che sia sbagliato perchè prima devo portare dentro il non ed eliminare gli implica. Grazie a chi mi aiuta ciao

Ciao,
quello che indichi è il testo iniziale dell'esercizio o ti esce così in un passaggio?
Se è un passaggio, scrivi il testo completo dell'esercizio che provo a farlo?
contromodello o dimostrazione??

thx. ciao.

__________________
Janko

io lo farei cosi:

Ex non(Qx -> (Px->Rxx))
applichi la formulina non(A->B) per la prima volta ponendo A=Qx e B= Px->Rxx

ti salta fuori: Ex Qx ^ non (Px -> Rxx)
rifai lo stesso sulla seconda parte e ti viene

Ex Qx ^ Px ^ nonRxx

poi estrai Ex con nuovo parametro ecc..ecc...

__________________
E un' altra volta è notte e suono,non so nemmeno io per che motivo, forse perchè son vivo e voglio in questo modo dire "sono" o forse perchè è un modo pure questo per non andare a letto
o forse perchè ancora c'è da bere
e mi riempio il bicchiere..

Se quello che scrivi è il testo dell'ex...

- Forma normale negativa:

not [Ex not ( Q(x) -> (P(x) -> R (x,x)) )]

- lavoro sul not Ex

Ax not not ( Q(x) -> (P(x) -> R (x,x)) )

- il not not si annulla....

Ax ( Q(x) -> (P(x) -> R (x,x)) )

- lavoro sulla prima implicazione..

Ax ( not Q(x) or (P(x) -> R (x,x)) )

- lavoro sulla seconda implicazione..

Ax ( not Q(x) or (not P(x) or R (x,x)) )

qui hai solo formule atomiche oppure quantificatori esistenziali, e il not davanti a aformule atomiche o quant esistenziali, quindifai il tableau....

che ne dite?

__________________
Janko

...Se invece è un passaggio dell'esercizio (continuo dal mio ultio post)..

Ex not ( Q(x) -> (P(x) -> R (x,x)) )]

- lavori sul not e sulla prima implicazione (ultima regola sulle dispense delle 4 lezioni della bucalo, pag. 15)


Ex ( Q(x) and not(P(x) -> R (x,x))

- idem .. stessa regola...

Ex ( Q(x) and (P(x) and not R(x,x))

Ex ( Q(x) and P(x) and not R(x,x) )

__________________
Janko

Originally posted by MamboJambo#24
io lo farei cosi:

Ex non(Qx -> (Px->Rxx))
applichi la formulina non(A->B) per la prima volta ponendo A=Qx e B= Px->Rxx

ti salta fuori: Ex Qx ^ non (Px -> Rxx)
rifai lo stesso sulla seconda parte e ti viene

Ex Qx ^ Px ^ nonRxx

poi estrai Ex con nuovo parametro ecc..ecc...

Originally posted by jon
ciao mambo,
mi puoi spiegare per favore dove posso trovare tutte le formule come questa ( A->B che diventa A=Q(x) e B= P(x)->R(x,x) ) che hai usato tu x questo passaggio? sulle slide non l'ho trovata..

thx, jon

__________________
E un' altra volta è notte e suono,non so nemmeno io per che motivo, forse perchè son vivo e voglio in questo modo dire "sono" o forse perchè è un modo pure questo per non andare a letto
o forse perchè ancora c'è da bere
e mi riempio il bicchiere..

ah ok, questa regola ora l'ho afferrata.
un'altra cosa: non capisco quando e perchè ogni tanto negli esercizi che ho trovato nell'area file l'esercizio si divide in 2 o + rami..
???

si divide in due rami quando hai un connettivo logico V o ->
in questo caso devi dividere i due termini e li svolgi singolarmente ognuno per ogni ramo

-MJ-

__________________
E un' altra volta è notte e suono,non so nemmeno io per che motivo, forse perchè son vivo e voglio in questo modo dire "sono" o forse perchè è un modo pure questo per non andare a letto
o forse perchè ancora c'è da bere
e mi riempio il bicchiere..

Originally posted by MamboJambo#24
si divide in due rami quando hai un connettivo logico V o ->
in questo caso devi dividere i due termini e li svolgi singolarmente ognuno per ogni ramo

-MJ-

Stai attento perchè tu stai risolvendo con il vecchio metodo!!
Ora (o meglio, già da un anno!!) il prof fa utilizzare un altro metodo, quello dei TABLEUX con formula normale negativa ecc.., che è molto piu veloce e semplice rispetto al vecchio metodo.
Io ho superato l'esame a inizio anno quindi ora mi son liberato di tutto ( ) e non ti posso passare nulla, ma guarda sul sito del prof e qua in giro sul forum qlcosa trovi.

All'appello puoi risolvere gli ex come meglio credi, ma prima di imbottigliarti ti consiglio di impararti il nuovo metodo perchè ne vale la pena!!

ciauz!!

-MJ-

__________________
E un' altra volta è notte e suono,non so nemmeno io per che motivo, forse perchè son vivo e voglio in questo modo dire "sono" o forse perchè è un modo pure questo per non andare a letto
o forse perchè ancora c'è da bere
e mi riempio il bicchiere..

bèh, grazie cmq dell'aiuto...

ehilà! questo nuovo metodo è decisamente + semplice! finalmente mi sono chiarito un po le idee leggendo la lezione sui tableau che ho trovato sul sito... ma ho ancora un punto interrogativo..
proprio su quella lezione (sui tableau che ho trovato sul sito della prof) all'ultima pagina (la 19) dal terz- al pen-ultimo passaggio trasforma di nuovo:

Perogni x(EyP(y) ^ notP(x)) , P(b) , notP(a)

in questo:

Perogni x(EyP(y) ^ notP(x)) , EyP(y) ^ notP(b) , P(b) , notP(a)

perchè? cioè quel notP(x) era già diventato notP(a) e non capisco con che criterio si sia assegnata la lettera b al posto che la a...

voi avete capito??

grassssssie

jon, mi sapresti dire x piacere dove trovo informazioni sui tableux?

ho dei problemi cn la pagina del webcen, se possibile scrivimi il link

sulla pagina della prof:
http://homes.dsi.unimi.it/~bucalo/fdl/
...
l'indirizzo esatto del pdf dei tabeux:
http://homes.dsi.unimi.it/~bucalo/fdl/tableaux.pdf
...
se riesci a capire quella cosa che ho scritto nel post precedente mi faresti un grande favore..

ma ti stai preparadno anche tu x il 19?