calculos predicados

1. Universidad Fermín Toro
Rectorado Académico
Decanato de Ingeniería
Alumna:
BlancaMendoza.26.187.660

2. Es una función cuyas variables son
proposiciones. Esto es, una afirmación
expresada de manera que podría asumir
los valores de verdad de falso o verdadero
con la excepción de que existe alguna
variable que no está definida o
especificada y que por tanto no permite
asignar un valor de verdad definido

3. Se usa el símbolo ∀, denominado cuantificador
universal, antepuesto a una variable para decir
que "para todo" elemento de un cierto conjunto
se cumple la proposición dada a continuación.
En texto se puede representar con el carácter ∀.
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 conjuntos diferentes 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.

4. Se usa el símbolo: , llamado cuantificador
existencial, 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
Si tenemos dos conjuntos diferentes A y B, y A
es un subconjunto de B:
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, al ser 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.

5. El cuantificador existencial con marca de unicidad se usa para indicar
que hay un único elemento de un conjunto A que cumple una
determinada propiedad. Se escribe:
Se lee:
Existe un único elemento x de A, que cumple
P(x)
Estas reglas nos dicen que para negar una proposición con
cuantificadores se cambia el cuantificador, de universal a
existencial o viceversa, y se niega la proposición
cuantificada.