Forum by laureateci.it - Aiuto risoluzione esercizio di logica

Nome Utente:	Password:
Salva Password
Password Dimenticata?

Tutti i Forum

INFORMATICA - Primo Anno

Matematica discreta

Aiuto risoluzione esercizio di logica

Nuova Discussione

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Autore

Discussione

jwein
Utente giovane

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

Mark81
Utente giovane

Regione: Puglia
Prov.: Bari
Città: Adelfia

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)

Marco

jwein
Utente giovane

Inserito il - 24/01/2010 : 19:20:17

Ok, leggendo il tuo messaggio ho capito. Ora li ho risolti. Grazie

Discussione

Nuova Discussione

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Vai a:

Forum by laureateci.it

Il DB ha risposto in 0,18 secondi.