 | |
Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum |
se e solo se
Clicca QUI per vedere il messaggio nel forum |
| gionavisi |
qualcuno sa dirmi come si trasforma in forma normale il se e solo se??
<-->
:? |
| gionavisi |
| se ho A <--> B lo posso scrivere come A --> B and B-->A ? |
| michele.c |
Dalla dispensa del prof. Ghilardi:
A↔B
sta per
(A → B) ∧ (B → A):
il connettivo
↔
si chiama `bi-implicazione' o
`equivalenza materiale'. Si potrebbero in realtà eliminare altri connettivi dalla lista
dei connettivi primitivi e introdurli come abbreviazioni, la scelta che abbiamo fatto
non è minimale in questo senso. |
| gionavisi |
| grazie mille per la risposta!!!:-D:D |
|
|
|
|
