.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- opzioni di SPASS! (http://www.dsy.it/forum/showthread.php?threadid=33995)

opzioni di SPASS!

..esiste qualke buon uomo che potrebbe riassumere qui le principali opzioni di Spass che interessano al prof?

quelle che interessano al prof non le so ma ti posso dire che queste sono quelle che uso io:

-DocProof -Splits=0 -Sorts=0 -CNFRenaming=0 -Ordering=0 -ISoR=0 -ISRe=1 -Select=1 -RObv=1 -RFMRR=1 -RBMRR=1 -RCon=1 -ISpL=1 -ISpR=1 -IORe=1 -PDer=1 -PTaut=1 -PRew=0 -PSub=1 -PMRR=1 -PObv=1 -PCon=1 -PGiven=1 -PKept=1 -PEmptyClause=1

__________________
Scompaio e di me solo fievoli ricordi affolleranno la mente delle genti conosciute,sarò fantasma e vagherò nelle terre di nessuno, finché l ultimo ricordo morrà insieme con il mio spirito...
Se non si è disposti a rivivere la propria vita, perché darsi la pena di viverla adesso ?
Youtube.it