Equivalenza logica: Enunciati e Teorie

Francesco Beccuti 31 maggio 2012

Denizione. Un enunciato si dice logicamente valido se per ogni struttura M si ha che M |= , e si scrive . Denizione. Due enunciati e si dicono logicamente equivalenti o, semplicemente, equivalenti se . . Si ha invece Denizione. Due teorie T e S si dicono logicamente equivalenti o, semplicemente, equivalenti se per ogni struttura M si ha che M |= T M |= S. Ora, alla luce della denizione di equivalenza fra due teorie, non sar` dicile a capire che vale la seguente Condizione Suciente per lEquivalenza. Siano due teorie T e S. Se per ogni enunciato T S tale che e, viceversa, S T tale che (cio` esiste una corrispondenza biunivoca fra gli enunciati di S e T che manda e ogni enunciato in un suo equivalente) allora S e T sono equivalenti. Si noti che questa condizione ` creata ad hoc per lesercizio poco pi` avanti e u e che, in generale, conviene ragionare utilizzando la denizione. Evidenziamo inoltre il seguente fatto: Osservazione. Sia una formula qualsiasi e T una teoria qualsiasi (anche la teoria vuota). Allora T T , per ogni formula .

Lesercizio proposto a lezione era il seguente: Esercizio. Siano T1 e T2 teorie consistenti e chiuse per conseguenze logiche. Si dimostri che T1 T2 ` equivalente alla teoria {1 2 | 1 T1 et 2 T2 }. e Per comodit` poniamo A = {1 2 | 1 T1 et 2 T2 }. a Nota. Si osservi che se una teoria S ` chiusa per conseguenze logiche allora e SS per ogni formula . Dunque T1 T2 = { | T1 et T2 } = { | T1 1 et T2 }. ,

Dimostriamo lequivalenza fra le teorie sfruttando la condizione suciente test e introdotta. In un senso la condizione ` banalmente soddisfatta, perch se A e e allora T1 T2 (cio` ` in corrispondenza con s stessa). Facciamolo vedere. e e e Ogni A ` nella forma 1 2 con T1 e 1 e T2 1 . Ma per quanto nellOsservazione sopra si ha allora pure T1 1 2 e T2 1 2 . Ma questo signica T1 e T2 ossia, trattandosi di teorie chiuse per conseguenze logiche, T1 e T2 ossia T1 T2 . Viceversa, nellaltro senso, sia T1 T2 . Allora T1 e T2 , quindi T1 e T2 e allora A. Ma ovviamente . Dunque abbiamo trovato la corrispondenza cercata. Osservazione. Come gi` evidenziato a lezione se avessimo avuto T1 T2 chiuso a per conseguenze logiche allora avremmo potuto provare direttamente T1 T2 = A, facendo molta fatica in meno.