| V I S U A L I Z Z A D I S C U S S I O N E |
| WonderBoy |
Inserito il - 24/11/2009 : 19:53:39
Che significa "dimostrare che conservano la verità (vere le premesse vere le conclusioni, false le premesse false le conclusioni)"?
Era in una traccia di uno scritto...cioè devo fare un esempio? non ho capito bene.... |
| 5 U L T I M E R I S P O S T E (in alto le più recenti) |
| unristok |
Inserito il - 23/01/2010 : 17:45:17
ma scusate, i sequenti di Gentzen e il sistema di Gentzen sono la stessa cosa? |
| Salsero |
Inserito il - 19/01/2010 : 17:54:07
Io ho lasciato perdere sinceramente quella traccia, la farò + in là, xkè nn c'è la dimostrazione... si i fogli, ma ovviamente nn sò da dove cominciare a fare la parte dei quantificatori... boh |
| unristok |
Inserito il - 13/01/2010 : 12:08:04
Ma da dove si studiano le regole di gentzen? da quei 3 fogli in inglese? Sincermnte nn si cpaisce motlo, qualcuno ha trovato di meglio in rete? |
| Salsero |
Inserito il - 29/12/2009 : 17:36:50
praticamente no e non sò dove sta scritto sulle slides, ma x caso stai facendo la traccia di quell'appello?? |
| Salsero |
Inserito il - 15/12/2009 : 11:54:17
praticamente dimostrare la coerenza di una formula... vedi il teorema di coerenza e di completezza... |
