.dsy:it.
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)


Posted by SanJuanWolf89 on 14-09-2011 16:06:

contromodello

qualcuno sa spiegarmi come si calcola un contromodello???passo x passo xkproprio non c capisco niente


Posted by st1v on 15-09-2011 16:49:

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.