Logica 13-14
Lezione 17
15 Nov 2013
Ancora alberi di refutazione
• Guardiamo insieme la soluzione all'es. 3.4
(10), p. 92 fornita da Varzi et al. nel file con le soluzioni agli esercizi supplementari (una
studentessa non era convinta su un punto)
Ancora alberi di refutazione (ii)
• Riguardiamo insieme il metodo applicato al caso di una singola fbf. Dice Varzi:
• si può cominciare con una lista costituita da un’unica formula. Se il risultato è un albero terminato che non contiene nessun
cammino aperto, allora la formula è contraddittoria;
• se invece il risultato è un albero che contiene uno o più cammini aperti, allora la formula è tautologica oppure vero-
funzionalmente contingente.
• D’altra parte, è evidente che una fbf è tautologica se e solo se la sua negazione è vero-funzionalmente inconsistente, visto che il connettivo di negazione inverte tutti i valori della formula negata.