.dsy:it. - [Esercizi]Modelli

.dsy:it.
//www.dsy.it

[Esercizi]Modelli

Posted by Flavia on 24-11-2004 12:17

Ho un dubbio!
:cool:

Per dimostrare se una formula C è conseguenza logica di un insieme di formule A,B,... devo dimostrare che A ^ B ^... implica C è una tautologia!Giusto?

Oppure devo far vedere che B è vera in tutti i modelli di A e B....
Giusto?

Domanda: Se non esistono modelli delle formule A, B...., la mia conclusione quale è: C è conseguenza logica per forza (come risulterebbe dallo sviluppo della tavola di verità A ^ B ^... implica C, che è una tautologia!), oppure affermare che C non è conseguenza logica perchè comunque non esistono modelli???

Le due cose si contraddicono...
:pensa: