Implicazione logica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
mNessun oggetto della modifica |
||
Riga 107:
<math> \left ( \mathcal A \Rightarrow \mathcal B \right ) \land \left ( \mathcal B \Rightarrow \mathcal A \right ) </math> (iv)
</div>
allora possiamo esprimere questo fatto con un nuovo connettivo che chiameremo '''coimplicazione''' (o '''doppia implicazione logica'''):
<math> \mathcal A \Leftrightarrow \mathcal B </math>,
potremo anche esprimerla dicendo che:
| |||