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.
6.1. IL METODO 135<br />
Si noti che è <strong>in</strong><strong>di</strong>fferente avere nella ra<strong>di</strong>ce ¬(A → B) oppure l’equivalente<br />
A ∧ ¬B perché <strong>in</strong> entrambi i casi l’applicazione delle regole per la negazione<br />
<strong>di</strong> un con<strong>di</strong>zionale o per la congiunzione portano ad aggiungere alla ra<strong>di</strong>ce<br />
↓<br />
A<br />
↓<br />
¬B<br />
dopo <strong>di</strong> che si cont<strong>in</strong>ua lavorando solo su A e su ¬B e loro sottoproposizioni.<br />
Si può ad<strong>di</strong>r<strong>it</strong>tura partire con<br />
se <strong>in</strong>teressa la domanda A |= B.<br />
A<br />
↓<br />
¬B<br />
Tuttavia, salvo questa eccezione <strong>in</strong>iziale, il metodo non prevede, e così le<br />
prove <strong>di</strong> esame, che nel corso della costruzione dell’albero una proposizione<br />
venga rimpiazzata da una logicamente equivalente; nei no<strong>di</strong> dell’albero de- <br />
vono comparire solo sottoproposizioni o negazioni <strong>di</strong> sottoproposizioni della<br />
ra<strong>di</strong>ce.<br />
6.1.2 Forme normali<br />
Gli alberi <strong>di</strong> refutazione permettono <strong>di</strong> ottenere altre <strong>in</strong>formazioni sulle proposizioni<br />
a cui si applicano. Se A è una proposizione sod<strong>di</strong>sfacibile, e qu<strong>in</strong><strong>di</strong><br />
l’albero <strong>di</strong> refutazione con ra<strong>di</strong>ce A non si chiude, una forma normale <strong>di</strong>sgiuntiva<br />
<strong>di</strong> A si può ottenere nel seguente modo: per ogni ramo term<strong>in</strong>ato e non<br />
chiuso, si faccia la congiunzione <strong>di</strong> tutti i letterali che sono no<strong>di</strong> del ramo, <br />
qu<strong>in</strong><strong>di</strong> si faccia la <strong>di</strong>sgiunzione <strong>di</strong> queste congiunzioni. Le proprietà <strong>di</strong>mostrate<br />
della correttezza e della completezza garantiscono che questa <strong>di</strong>sgiunzione<br />
è proprio equivalente a A (esercizio).<br />
Esempio