Logica Lez Dicembre 2013
Regola E xFx è come una disgiunzione infinita e quindi questa regola è analoga a vE Guardare insieme regola a p. 202 NB1 La costante "arbitraria" che si sceglie non deve essere già presente nella formula che si ipotizza NB2 La costante arbitraria non deve comparire nella conclusione del ragionamento ipotetico NB3 La costante arbitraria non deve comparire in assunzioni o ipotesi in vigore
Guardiamo un semplice esempio che richiede E
Esercizio risolto 7.13 Soluzione
Guardiamo un altro esempio con E
Esercizio risolto 7.11 Soluzione
Torniamo a I. Guardiamo un esempio che la richiedono
Esercizio risolto 7.7 Soluzione
Regole di equivalenza Guardare tabella 7.2, p. 215 Daremo per scontate queste equivalenze (a meno che non sia richiesto esplicitamente di usare solo regole di base) Memorizzarle! E' complicato dimostrarle. Una è dimostrata a p. 210 Se c'è tempo, ci proveremo