.dsy:it. - [LPA] regole di inferenza in SPASS (panico del giorno prima)

.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- [LPA] regole di inferenza in SPASS (panico del giorno prima) (http://www.dsy.it/forum/showthread.php?threadid=37824)

Posted by NoWhereMan on 24-02-2009 16:09:

[LPA] regole di inferenza in SPASS (panico del giorno prima)

nell'output di spass, dove vedo (se la vedo) l'applicazione delle regole di INFERENZA (non di riduzione)?

All times are GMT. The time now is 08:11.