.dsy:it. - [SPASS] Esercizio del 12/10/05

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

[SPASS] Esercizio del 12/10/05

Posted by Romeo on 14-10-2005 11:42

Posto la mia soluzione dell'esercizio assegnato da Ghilardi per imparare a usare SPASS: "Dimostrare che 2 fratelli hanno gli stessi cugini".
Allego un file zippato contenente il file .dfg, che è l'estensione dei file presi in input da SPASS, un identico file .txt per chi volesse dare un'occhiata al codice ma non ha ancora installato SPASS, e un file .doc con le formule scritte in una sintassi un po più leggibile rispetto alla notazione prefissa di SPASS

Suggerimento: per formule che hanno un gran numero di parentesi (ad esempio nel mio file c'è un assioma con un totale di 100 parentesi :-o

), invece di contarle una ad una per vedere se le avete chiuse tutte, copiate la formula in questione in Word. Poi fate "Sostituisci ( con (",e vi dirà quante volte ha fatto la sostituzione, il che corrisponde al numero di parentesi aperte. Poi fate "Sostituisci ) con )" e se il numero è uguale avete una quasi sicurezza di aver chiuso tutto

dico "quasi" perchè magari avete aperto 35 parentesi e ne avete chuise altrettante, ma magari non nei posti giusti