Quantificador existencial: diferència entre les revisions

cap resum d'edició
(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ó
 
== Exemple ==
[[Imatge: ConjuntsConjuntos 04.svg|right]]
Si tenim dos conjunts ''' A ''' i ''' B ''' i ''' A ''' és un [[subconjunt]] de ''' B ''':
: <math> A \subset B \; \land \; A \not = B </math>
165.177

modificacions