Lógica

matemática
Delia Peña
Predicados
Predicados de una variable

Son expresiones en términos de una variable que al ser

reemplazadas por los elementos de un conjunto
referencial, se convierten en proposiciones. Si x representa
a cualquier elemento de Re, entonces la expresión p(x) se
definirá como predicado.

La notación para los predicados será: p(x), q(x), r(x), etc.

Predicados de una variable
Ejemplo

Dado Re = {1, 2, 3, 4, 5, 6} y p(x): x es impar.

Si x = 3, p(3): 3 es impar, es una proposición verdadera.
Si x = 6, p(6): 6 no es impar, es una proposición falsa.

Por lo tanto, p(x) es un predicado.

•
1. Re= {1,2,3,4,5,6,7,8,9,10} p(x)= x > 3

2. Re= { 1,2,3,4,5,6,} q(x) = 2x - 1 = 3

Predicados compuestos

Se pueden definir varios predicados con un mismo Re y se

pueden realizar operaciones lógicas entre ellos para formar
predicados compuestos.
Para el Re y p(x) dados en el ejemplo anterior, considere:
Re = {1, 2, 3, 4, 5, 6} y p(x): x es impar y q(x): x < 5

La expresión: ¬p(x) ∧ q(x) también es un predicado.

Si x = 2: [¬p(2) ∧ q(2)] Si x = 3: [¬p(3) ∧ q(3)]

[¬ 0 ∧ 1 ] [¬ 1 ∧ 1 ]
[ 1 ∧ 1 ] [ 0 ∧ 1 ]
1 0
Predicados compuestos
Ejemplo

Para el Re y p(x) dados anteriormente, considere:

Re = {1, 2, 3, 4, 5, 6} y p(x): x es impar y
r(x): x − 2 = 0

La expresión: p(x) ∨ ¬r(x) también es un predicado.

Si x = 2: [p(2) ∨ ¬r(2)] Si x = 3: [p(3) ∨ ¬r(3)]

[ 0 ∨ ¬1] [ 1 ∨ ¬0]
[ 0 ∨ 0] [1 ∨ 1 ]
0 1
Predicados compuestos
Ejemplo

Como se pudo observar en los ejemplos anteriores,

existen elementos del referencial para los cuales el
predicado puede convertirse en una proposición falsa o
verdadera. Estas últimas son de especial interés, y los
elementos del referencial que las conforman constituyen
lo que a continuación se definirá como conjunto de
verdad del predicado.
Conjunto de verdad de
un predicado

Es el conjunto formado por todos los elementos de Re

para los cuales el predicado se convierte en una
proposición verdadera. La notación por utilizar para este
conjunto es Ap(x), y se define como:

Ap(x) = {x/(x ∈ Re)∧(p(x)⇔1)}

Conjuntos de verdad

Con referencia a los tres ejemplos anteriores:

Ap(x) = {1, 3, 5}
Aq(x) = {1, 2, 3, 4}
Ar(x) = {2}
Todos los elementos que no pertenezcan al conjunto de
verdad de un predicado pero que sean parte del referencial
considerado para el análisis, estarán contenidos en el
complemento del conjunto de verdad de dicho predicado, lo
cual puede expresarse así: A¬p(x) = Ac p(x).
Complementos de
conjuntos de verdad

Partiendo de los mismos ejemplos ya citados anteriormente,

se puede concluir que:

A¬p(x) = {2, 4, 6}
A¬q(x) = {5, 6}
A¬r(x) = {1, 3, 4, 5, 6}
Complementos de
conjuntos de verdad

En relación con los conjuntos de verdad de predicados

compuestos, se cumplen las siguientes propiedades:

Leyes de los Conjuntos de Verdad de Predicados