 | |
Il progetto dsy.it รจ l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum |
Opzioni di Spass
Clicca QUI per vedere il messaggio nel forum |
| Brov84 |
Qualcuno sa con sicurezza quali settaggi variare in SPASS per l'esame oltre a -Sorts=0,-Splits=0 e -DocProof?
Grazie,ciao! |
| elpampero |
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 |
|
|
|
|
