.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- se e solo se (http://www.dsy.it/forum/showthread.php?threadid=42267)

se e solo se

qualcuno sa dirmi come si trasforma in forma normale il se e solo se??

<-->

se ho A <--> B lo posso scrivere come A --> B and B-->A ?

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.

grazie mille per la risposta!!!