HEYO
Operador Universal:
En lógica, se usa el símbolo , denominado operador universal , antepuesto a una variable para decir que "para todo" elemento deun cierto conjunto se cumple la proposición dada a continuación. En texto se puede representar con el carácter ∀.
Normalmente, en lógica, el conjunto al que se refiere es el universo o dominio dereferencia, en el cual aparecen todas las constantes.
Ejemplo:
Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B:
Todo elemento x de A pertenece a B:
Al ser A y B conjuntosdiferentes como indica el diagrama, podemos decir que no todos los elementos y de B pertenecen a A, siendo esto una garantía suficiente para que dos conjuntos cualesquiera puedan ser diferentes:Es decir: no para todo elemento y de B se cumple que y también pertenezca a A.
Operador Existencial:
En el lenguaje de predicados en lógica matemática, se usa el símbolo: , llamado operadorexistencial, antepuesto a una variable para decir que "existe" al menos un elemento del conjunto al que hace referencia la variable, que cumple la proposición escrita a continuación.
Normalmente, en lógica,el conjunto al que se hace referencia es el universo o dominio de referencia, que está formado por todas las constantes.
Ejemplo:
Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto deB:
Existe al menos un elemento x de B que pertenece a A:
Al afirmar que existe al menos un x que pertenece a B y pertenece a A, quiere decir que no todos los elementos de B pertenecen a A, alser A y B conjuntos distintos, existe al menos un elemento y de B que no pertenece a A:
Que podemos leer: existe al menos un elemento y en B, y este elemento y no pertenece a A.
Leyes deConjuntos:
Se denomina álgebra de conjuntos a las operaciones básicas que pueden realizarse con conjuntos, como la unión, intersección, etc.
Un conjunto es una colección de objetos considerada como un...
Regístrate para leer el documento completo.