Implicazione logica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Etichetta: Editor wikitesto 2017 |
→Voci correlate: Sequente |
||
Riga 202:
* è necessario che un elemento stia in <math>\mathcal B</math>, affinché possa stare in <math>\mathcal A</math>: se infatti tale elemento fosse fuori da <math>\mathcal B</math>, non potrebbe in nessun caso essere dentro <math>\mathcal A</math>
* non è sufficiente che un elemento stia in <math>\mathcal B</math> per poter concludere che sta anche in <math>\mathcal A</math>: come detto prima, esistono certamente elementi appartenenti a <math>\mathcal B</math> ma non ad <math>\mathcal A</math>.
==Voci correlate ==
* [[Sequente]]
== Altri progetti ==
|