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