JULIO

Función proposicional:

En matemáticas y lógica, una función proposicional es una función cuyas variables son proposiciones. Esto es, una afirmación expresada de manera que podría asumirlos 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.Ejemplos[editar · editar código]
Dado que una función queda determinada por los valores de su dominio y sus correspondientes imágenes, existen únicamente cuatro funciones proposicionales de una sola variable, dadas porlas siguientes tablas de verdad:
p
f(p)
V
V
F
V

p
f(p)
V
V
F
F

p
f(p)
V
F
F
V

p
f(p)
V
F
F
F

Es posible que diferentes proposiciones abiertas tengan la misma tabla deverdad y por tanto sean representaciones distintas de una misma función proposicional. En esta situación se dice que las proposiciones abiertas son lógicamente equivalentes.
Por ejemplo, lasexpresiones
 y 
tienen la misma tabla de verdad, por tanto corresponden a la misma función proposicional y son así lógicamente equivalentes.
p
q

V
V
F
V
F
V
F
V
V
F
F
V

p
q

V
V
F
VF
V
F
V
V
F
F
V




Cuantificadores:

En lógica matemática, teoría de conjuntos y matemáticas en general, los cuantificadores son símbolos utilizados para indicar cuántos o qué tipode elementos de un conjunto dado cumplen con cierta propiedad (por ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de cuantificadores, entre los más utilizados están:
Cuantificadoruniversal

Para todo x, y...
Cuantificador existencial

Existe al menos un x, y...
Cuantificador existencial único

Existe exactamente un x, y...
Negación del cuantificador existencial

Noexiste ningún x, y...


Cuantificación universal
El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto cumplen con una determinada propiedad. Por ejemplo:...