Logica Matematica
Ho dei dubbi a risolvere degli esercizi che ci saranno all'esame di domani.
In uno devo:
Sia $v: FBF\rightarrow{0,1}$ una funzione verità.
Dimostrare che $\Gamma-={P in FBF | v(P)=1}$ è un insieme di formule consistenti massimali.
In base al libro mi pare di aver capito che $\Gamma$ deve essere soddisfacibile, se è soddisfacibile è consistente e se è consistente è consistente massimale
ma praticamente come faccio. Sto impazzendo.
Grazie mille in anticipo
In uno devo:
Sia $v: FBF\rightarrow{0,1}$ una funzione verità.
Dimostrare che $\Gamma-={P in FBF | v(P)=1}$ è un insieme di formule consistenti massimali.
In base al libro mi pare di aver capito che $\Gamma$ deve essere soddisfacibile, se è soddisfacibile è consistente e se è consistente è consistente massimale
ma praticamente come faccio. Sto impazzendo.
Grazie mille in anticipo
Risposte
Un insieme di formule e' consistente sse e' soddisfacibile; inoltre e' massimale consistente se non e' contenuto strettamente in alcun altro insieme consistente.
Osserva inoltre che $\Gamma$ contiene, per ogni formula, o lei o la sua negazione. Dunque, puo' $\Gamma$ non essere massimale?
Osserva inoltre che $\Gamma$ contiene, per ogni formula, o lei o la sua negazione. Dunque, puo' $\Gamma$ non essere massimale?
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo