.dsy:it. - come si risolve questo?

.dsy:it.
//www.dsy.it

come si risolve questo?

Posted by columbia on 06-04-2006 18:39

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