Quantificador existencial: diferència entre les revisions
Contingut suprimit Contingut afegit
Pàgina nova, amb el contingut: «A lògica matemàtica, es fa servir el símbol: <math> \exists </math>, anomenat ''' quantificador existencial ''', anteposat a una variable per dir que ...». |
Cap resum de modificació |
||
Línia 4:
== Exemple ==
[[Imatge:
Si tenim dos conjunts ''' A ''' i ''' B ''' i ''' A ''' és un [[subconjunt]] de ''' B ''':
: <math> A \subset B \; \land \; A \not = B </math>
| |||