.dsy:it. - esercizio formalizzare un ragionamento

.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- esercizio formalizzare un ragionamento (http://www.dsy.it/forum/showthread.php?threadid=35711)

Posted by phantom on 07-07-2008 11:07:

esercizio formalizzare un ragionamento

Ciao a tutti, qualcuno ha risolto l'esercizio 2.1 dell'appello del 21 giugno 2007?

Il testo è il seguente:

Tutti i ciclisti squalificati non correranno.
Tizio non correrà.
---------------------------------------------------
Se Tizio è un ciclista allora è squalificato.

Volevo anche sapere cosa si intende quando viene chiesto di "dire se è corretto o meno"...

Ciaoo

Posted by Bisciu on 09-07-2008 15:19:

dopo averlo messo sotto forma matematica devi negarlo e fare vedere che tutti i rami si chiudono. ciao

Posted by phantom on 09-07-2008 16:13:

Originally posted by Bisciu
dopo averlo messo sotto forma matematica devi negarlo e fare vedere che tutti i rami si chiudono. ciao

In poche parole dovrei fare un tableau...peccato che accanto al testo dell'esercizio ci sia una nota che dice che non va fatto il tableau...
Quindi non so cosa va fatto!!!

Posted by Ice_Angel85 on 01-12-2008 10:14:

Non so se ti puo' essere ancora utile, ma credo di aver scoperto come svolgerlo...

Osservando la risoluzione dell'esame di Gennaio07 (presente in Filez di questa sezione) e leggendo il testo di una delle esercitazioni vecchie messe a disposizione dal prof, sono risalito alla conclusione che per dimostrarlo si usi il calcolo dei sequenti.

Ti riporto qui sotto il link a delle slide aggiuntive in cui viene spiegato per me in maniera esaustiva l'argomento

www.dis.uniroma1.it/~corsoar/Lezion...ntNew_Lez06.pdf

Spero di non essere in ritardo o di poter aiutare altri che come noi si sono trovati in difficolta' con questo esercizio

All times are GMT. The time now is 17:05.

Show all 4 posts from this thread on one page