Dimostrazioni con Fitch

[fausto94]

Buonasera,

qualcuno che sa usare Fitch potrebbe spiegarmi come si fa ad ottenere formule equivalenti (ad esempio De Morgan) senza utilizzare TautCon FOCon o AnaCon ?

Sto cercando di fare una dimostrazione per casi, e quando arrivo ad un certo caso devo utilizzare una premessa che dice $ neg (SameRow(d,f)^^ Cube(f)) $ .

Se io volessi applicare deMorgan alla formula sopra come faccio senza usare TautCon, FOCon o AnaCon?
E' corretto cercare di arrivare ad un assurdo per poi derivare dall'assurdo quello che mi serve?

Grazie