.dsy:it. - Opzioni di Spass

.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=33426)

Posted by Brov84 on 21-01-2008 17:08:

Opzioni di Spass

Qualcuno sa con sicurezza quali settaggi variare in SPASS per l'esame oltre a -Sorts=0,-Splits=0 e -DocProof?

Grazie,ciao!

__________________
La vita non è altro che un brutto quarto d'ora composto di momenti squisiti.

O.Wilde

Posted by elpampero on 23-01-2008 09:19:

Allora io ho settato i seguenti:
-CNFPRenaming=0 che disabilita le trasformazioni strutturali
-PDer=1 Stampa a video tutte le clausole derivate (anche non utilizzate ai fini della dimostrazione)
-PSub=1 Stampa a video tutte le clausole sussunte
-PTaut Stampa a video tutte le tautologie

Volendo puoi mettere anche:
-Select=2 che prevede sempre la selezione di un letterale negativo

All times are GMT. The time now is 06:40.

Show all 2 posts from this thread on one page