Logica matematica/Calcolo delle proposizioni/Dimostrazione del teorema di compattezza: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Germanomosconi1 ha spostato la pagina Logica/Calcolo delle proposizioni/Dimostrazione del teorema di compattezza a Logica matematica/Calcolo delle proposizioni/Dimostrazione del teorema di compattezza |
m Correggo sintassi in formula matematica secondo mw:Extension:Math/Roadmap |
||
Riga 47:
(''Passo induttivo'') Sia <math>A=\neg B</math>. <math>\mathcal{M_V} \models \neg B</math> equivale a <math>\mathcal{M_V} \nvDash B</math>; per ipotesi induttiva, <math>\mathcal{M_V} \nvDash B</math> sse <math>B \not\in \Delta</math>. Siccome <math>\Delta</math> è massimale, da <math>B \not\in \Delta</math> segue <math>\neg B \in \Delta</math>. Pertanto, <math>\mathcal{M_V} \models \neg B</math> sse <math>\neg B \in \Delta</math>, che è la tesi.
Sia <math>A=B \
Sia <math>A=B \
Sia <math>A=B \to C</math>. Per ipotesi induttiva, abbiamo <math>B \in \Delta</math> sse <math>\mathcal{M_V} \models B</math> e <math>C \in \Delta</math> sse <math>\mathcal{M_V} \models C</math>; per definizione, <math>\mathcal{M_V} \models B \to C</math> sse <math>\mathcal{M_V} \nvDash B</math> o <math>\mathcal{M_V} \models C</math>. Quindi, <math>B \not\in \Delta</math> o <math>C \in \Delta</math> sse <math>\mathcal{M_V} \models B \to C</math>, ovvero <math>B \to C \in \Delta</math>, che è la tesi.
|