.dsy:it. - esercizio formalizzare un ragionamento

.dsy:it.
//www.dsy.it

esercizio formalizzare un ragionamento

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

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