| V I S U A L I Z Z A D I S C U S S I O N E |
| jwein |
Inserito il - 18/01/2010 : 21:58:49
Ciao a tutti,
ho provato recentemente a risolvere i quesiti presenti in questo documento riassuntivo pubblicato sul sito ufficiale della materia:
http://www.dm.uniba.it/Members/farinola/didattica/matematica-discreta-corso-b/esercizi/esercizi%20riassuntivi%20sulla%20logica%20e%20linduzione%20a.a.2007-08.pdf/at_download/file
ma ho notato che non ricordo bene che procedimento usare per la risoluzione dell'esercizio numero 7.
Qualcuno mi può dare uno spunto o qualche informazione su come risolverlo?
Grazie mille  |
| 2 U L T I M E R I S P O S T E (in alto le più recenti) |
| jwein |
Inserito il - 24/01/2010 : 19:20:17
Ok, leggendo il tuo messaggio ho capito. Ora li ho risolti. Grazie |
| Mark81 |
Inserito il - 19/01/2010 : 10:19:22
L'esercizio si risolve facendo le tavole di verità...
in questo caso ti devi ricordare che
f1 => f2 <=> f1->f2 è una tautologia (ogni qualvolta f1 e vera lo è anche f2)
f1 <=> f2 <=> f1<->f2 è una tautologia (una delle due è vera solo quando è vera l'altra, quindi possono essere solo entrambe vere o entrambe false) |
