Pages: [1] 2 3 ... 10
 1 
 on: Yesterday at 11:35:13 
Started by Franco Barbanera - Last post by Franco Barbanera
Le mie scuse per eventuali disagi arrecati.

FB

 2 
 on: Yesterday at 11:29:44 
Started by Sain - Last post by Franco Barbanera
Grazie prof, molto chiaro.

Quindi se non ho capito male devo scaricare l'ipotesi A -> (¬A) ?

No.
Se devi dimostrare

A -> (¬A) ⊢ ¬A

devi produrre una deduzione che abbia  ¬A  come copnclusione e che abbia
A -> (¬A)  come unica ipotesi NON scaricata.

 3 
 on: 19-05-2018, 10:19:37 
Started by Giuseppe Scollo - Last post by Giuseppe Scollo
Il ricevimento studenti di lunedì 21 maggio è anticipato di mezz'ora, dunque avrà luogo dalle 14:00 alle 16:00

 4 
 on: 18-05-2018, 17:15:09 
Started by Sain - Last post by Sain
Grazie prof, molto chiaro.

Quindi se non ho capito male devo scaricare l'ipotesi A -> (¬A) ?

 5 
 on: 18-05-2018, 09:16:47 
Started by Sain - Last post by Franco Barbanera
Il teorema di Herbrand lo abbiamo introdotto nel sistema formale alla Hibert (quello descritto nel Martini).
Nella deduzione naturale il teorema di herbrand "corrisponde" alle regole di eliminazione e introduzione dell'implicazione.

Quindi, per questo esercizio, ogni riferimento al teorema di Herbrand e' scorretto.

Devi semplicemnte trovare una derivazione in deduzione naturale che abbia  ¬A come conclusione
e una sola ipotesi: A -> (¬A)

 6 
 on: 16-05-2018, 17:02:29 
Started by Sain - Last post by Sain
Salve cool
Nell'esercizio 16 dell'ursini a pagina 10 mi sorge un dubbio inerente le ipotesi.
L'esercizio è il seguente: A -> (¬A) ⊢ ¬A
Tramite il teorema di Herbrand ricaviamo che le ipotesi derivano ⊥.
Ma non mi è tanto chiaro se A->¬A e A sono davvero le ipotesi testate.

 7 
 on: 15-05-2018, 14:59:52 
Started by Franco Barbanera - Last post by Franco Barbanera
 

 8 
 on: 15-05-2018, 14:56:21 
Started by Franco Barbanera - Last post by Franco Barbanera
Ho aggiornato il testo [FB]  con le cose che stiamo facendo in questi giorni.

 9 
 on: 15-05-2018, 07:15:06 
Started by Gerasia - Last post by Giuseppe Scollo
La disponibilità del servizio è stata ripristinata ieri sera, dopo un intervento di manutenzione.

 10 
 on: 14-05-2018, 15:14:41 
Started by Gerasia - Last post by Giuseppe Scollo
salve prof, è da ieri che provo ad accedere al moodle ma non mi fa caricare neanche la pagina, è un problema mio o un malfunzionamento del sistema?
Il problema è del sistema, i servizi informatici del dipartimento ne sono informati. Mi è stato comunicato che il servizio era stato riavviato stamattina, ma ora è nuovamente indisponibile. Restiamo in attesa di un nuovo intervento.

Pages: [1] 2 3 ... 10