![Contract Post Collapse](//www.dsy.it/forum/images/collapse.gif) |
Feed_back |
.simpatizzante.
Registered: Jun 2003
Posts: 13 (0.00 al dì)
Location:
Corso:
Anno:
Time Online: 4:11:48 [...]
Status: Offline
Edit | Report | IP: Logged |
B - Se ho da trovare la conseguenza logica di:
"Un galantuomo non mente e non tradisce"
"Se paolo mente o tradisce, non è un galantuomo"
faccio la prima -> la seconda e poi nego tutto e risolvo, giusto??
Se avete voglia di farla, purtroppo arrivo a
Ex(Gx ^ nnM(x) ^ nnT(x)) , Mp V Tp , Gp
in ogni ramo, l'Esiste mi obbliga a mettere una nuova variabile la prima volta e quindi non posso mettere P.. e non mi viene.
|