Logica Matematica Corso di Laurea in Informatica ... - Mbox.dmi.unict.it
Logica Matematica Corso di Laurea in Informatica ... - Mbox.dmi.unict.it
Logica Matematica Corso di Laurea in Informatica ... - Mbox.dmi.unict.it
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
34 CAPITOLO 1. LINGUAGGI<br />
derivazione si presenta nel seguente modo:<br />
1 A assunzione da scaricare<br />
2 A → B assunzione<br />
3 B (MP) da 1 e 2<br />
4 ¬B assunzione<br />
5 B ∧ ¬B (I∧) da 3 e 4<br />
6 ¬A (I¬) da 1 e 5<br />
e quando si arriva al passo 6 e si vede che si può scaricare la 1 si può scrivere<br />
1 A assunzione da scaricare al passo 6<br />
2 A → B assunzione<br />
3 B (MP) da 1 e 2<br />
4 ¬B assunzione<br />
5 B ∧ ¬B (I∧) da 3 e 4<br />
6 ¬A (I¬) da 1 e 5<br />
cancellando esplic<strong>it</strong>amente, per chiarezza, l’assunzione scaricata (o meglio la<br />
sua caratterizzazione come assunzione da scaricare).<br />
Esempio 1.2.2. A → B, ¬A → B ⊢ B.<br />
oppure<br />
1 ¬B assunzione da scaricare al passo 8<br />
2 A → B assunzione<br />
3 ¬A contrapposizione da 1 e 2<br />
4 ¬A → B assunzione<br />
5 ¬B → ¬¬A contrapposizione da 5<br />
6 ¬¬A (MP) da 1 e 5<br />
7 ¬A ∧ ¬¬A (I∧) da 3 e 6<br />
8 B (E¬) da 1 e 7<br />
1 ¬B assunzione da scaricare al passo 7<br />
2 A → B assunzione<br />
3 ¬A contrapposizione da 1 e 2<br />
4 ¬A → B assunzione<br />
5 B (MP) da 3 e 4<br />
6 B ∧ ¬B (I∧) da 5 e 1<br />
7 B (E¬) da 1 e 6<br />
Con passaggi simili a quelli dell’ultimo esempio si fa vedere che se<br />
A1, . . . , An, B ⊢ C