Show 150 posts per page |
.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- contromodello (http://www.dsy.it/forum/showthread.php?threadid=42243)
contromodello
qualcuno sa spiegarmi come si calcola un contromodello???passo x passo xkproprio non c capisco niente
Se non sbaglio devi fare gli stessi calcoli che fai nella ricerca del modello (tableau), ma cercare di arrivare ad un nodo che non contiene contraddizioni e solo formule atomiche, oltre (eventualmente) al quantificatore universale giĆ istanziato con tutti i termini ground che compaiono nel ramo.
All times are GMT. The time now is 08:37. | Show all 2 posts from this thread on one page |
Powered by: vBulletin Version 2.3.1
Copyright © Jelsoft Enterprises Limited 2000 - 2002.