.dsy:it. - esercizio formalizzare un ragionamento

Calendar

Members

Faq

Logout

.dsy:it. : Powered by vBulletin version 2.3.1

.dsy:it. > Didattica > Corsi G - M > Logica matematica > esercizio formalizzare un ragionamento

Last Thread Next Thread

Author

Thread Expand all | Contract all

phantom

.illuminato.

User info:

Registered: Jan 2008
Posts: 183 (0.03 al dì)
Location: Varesotto
Corso: Informatica per le Telecomunicazioni
Anno: III
Time Online: 18:23:57 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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

07-07-2008 11:07

Click here to Send phantom a Private Message

Bisciu

.fedelissimo.

User info:

Registered: Sep 2004
Posts: 53 (0.01 al dì)
Location: Milano
Corso: Informatica per le Telecomunicazioni
Anno: 1°
Time Online: 19:02:39 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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

09-07-2008 15:19

Click here to Send Bisciu a Private Message

phantom

.illuminato.

Post actions:

Edit | Report | IP: Logged

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!!!

09-07-2008 16:13

Ice_Angel85

.novellino.

User info:

Registered: Jul 2005
Posts: 6 (0.00 al dì)
Location: Milano
Corso: Informatica
Anno: Terzo
Time Online: 5:08:33 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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

01-12-2008 10:14