LGICA

Calculo proposicional y clculo de predicados

La lgica nos brinda elementos para adquirir un pensamiento ms
preciso y herramientas para argumentar situaciones de un modo
ms exacto.
La lgica tiene un papel muy importante en distintas disciplinas, en
particular en matemtica y en ciencias de la computacin y se
ocupa de analizar la validez del razonamiento en forma
independiente que sea verdadero.
Podemos preguntarnos
para qu se usan los mtodos de la lgica en matemtica? la
respuesta es para demostrar propiedades
en que se usa la lgica en ciencias de la computacin?
la respuesta es para lograr que los programas realicen lo que se
pretende.
Podemos ahora ver algunas definiciones y empezaremos por la de la
base de la lgica
Proposicin
Llamamos proposicin a todo enunciado al que se le puede asignar un valor de verdad

Las proposiciones deben tener un valor de verdad, pueden ser verdaderas (V) falsas (F)
pero nunca pueden ser al mismo tiempo verdaderas y falsas.
Las proposiciones se representan simblicamente con letras minsculas : p;q;r:s;t
Para indicar el valor de verdad de la proposicin p, ponemos v(p) que puede ser verdadero
falso, usaremos siempre esa notacin.
Ejemplos:
p: Almagro es uno de los barrios de la ciudad de Buenos Aires
El valor de verdad de p es verdadero V(p) = V
q: 1+3 = 4 El valor de verdad de q es verdadero V(q) = V
r : Paran es la capital de Santa Fe El valor de verdad de r es falso V(r) = F

No son proposiciones los siguientes enunciados: Qu hora es?; Hola

Las preposiciones p, q y r se denominan simples
Una proposicin puede ser simple o atmica o bien puede ser compuesta.
Las proposiciones compuestas las obtenemos a partir de las simples usando operadores que se
denominan conectores o conectivos
Proposiciones Compuestas
Pensemos en el siguiente caso:
Est ventoso y hace fro, es una proposicin?, parecera que si, ya que le
puedo asignar un valor de verdad, para eso debera pensar cuando ser
verdadera y, el sentido comn me indica, que lo ser cuando est ventoso y
adems haga fro.
La diferencia con los casos anteriores es que puedo encontrar esa proposicin
usando las proposiciones Est ventoso y Hace fro combinadas con y que
llamaremos conectivo y no es ms que un operador. El resultado que obtuvimos
es una proposicin compuesta.
Qu pasa con el valor de verdad de las proposiciones compuestas?, depende
de la forma que acten los operadores, que no estn divorciados de la realidad
ni del sentido comn y est dado por las tablas de verdad.
Es decir una tabla de verdad nos dice cmo acta cada conectivo u operador.
Tablas de Verdad-Conectivos lgicos
Una tabla de verdad nuestra las relaciones entre valores de verdad de proposiciones
Si tenemos una proposicin puede ser verdadera o puede ser falsa y la tabla es la
siguiente:
p
V
F
Podemos preguntarnos si hay algn conectivo u operador que pueda trabajar
con solamente una proposicin, la respuesta es s y es la negacin y su
efecto es cambiar a cada proposicin su valor de verdad,
Sea p una proposicin. El enunciado No se cumple p es otra proposicin
llamada la negacin de p y se indica mediante ~ p
Se lee no p queda entonces:

p ~ p
V F
F V
Tablas de Verdad-Conectivos lgicos
Para obtener el valor de verdad de una proposicin compuesta se usan tablas de verdad Cmo armamos la tabla?, ac tenemos que pensar cuales son los casos que se nos pueden
presentar, pude pasar que ambas sean verdaderas, ambas falsas o que tengan distinto valor de verdad. Es importante tener en cuenta que estos conectivos, para poder actuar necesitan de,
por lo menos dos proposiciones
Sean p y q proposiciones
p q p q
V V V
V F F
F V V
F F V
p q p . q
V V V
V F F
F V F
F F F
p q p v q
V V V
V F V
F V V
F F F
Producto lgico o conjuncin
Conectivo . Se lee y


Suma lgica o disyuncin
Conectivo v
Se lee o inclusivo
admite el y/o
Condicional Conectivo
Se lee si entonces
p q p q
V V V
V F F
F V F
F F V
Bicondicional Conectivo
Se lee si y slo si
p q p q
V V F
V F V
F V V
F F F
Conectivo Se lee o exclusivo
Puede ocurrir que la proposicin compuesta tenga ms de dos proposiciones simples,
como para dar su valor de verdad necesitamos considerar todos los casos debemos
preguntarnos cuantas filas debe tener nuestra tabla de verdad, bueno si
tuviramos n proposiciones p
1,
p
2
, p
3
, ,p
n
el nmero de filas de la tabla es 2
n
.
Si una proposicin compuesta tiene n proposiciones simples entonces el nmero de filas
en la tabla de verdad es 2
n





Tabla de Verdad- Nmero de filas
Ejemplo:
Consideramos las proposiciones p, q, r
el nmero de proposiciones es 3 el nmero de filas es 2
3
= 8
p q r (p . q) r
V V V V
V V F F
V F V V
V F F V
F V V V
F V F V
F F V V
F F F V

Proposiciones compuestas con igual nmero de proposiciones simples que tengan la misma tabla
de verdad se dicen que son equivalentes y son intercambiables

Ejemplo:
p q es equivalente a ~ p v q
p q es equivalente a ( p q ) . ( q p ) o bien ( ~ p v q ) . ( ~ q v p )
Observacin:
El operador que se utiliz es Si..entonces., quedara: Si p entonces q
En p q la proposicin p es el antecedente y la proposicin q es el consecuente
De p q la proposicin recproca es q p
contrarecproca es ~ q ~ p
contraria es ~ p ~ q
(~ p v q) y (~ q ~ p) tienen la misma tabla de verdad que (p q) son equivalentes
Tienen la misma tabla de verdad (q p) y (~ p ~ q) son equivalentes
Se pueden realizar las tablas de verdad correspondientes y verificar

Tabla de Verdad-Proposiciones Equivalentes
Tautologa Contradiccin Contingencia
p q p . q ( p . q ) p
V V V V
V F F V
F V F V
F F F V
Llamamos tautologa (V) a toda proposicin compuesta cuyo valor de verdad es
siempre verdadero en forma independiente del valor de verdad de las proposiciones
simples que la componen.
Llamamos contradiccin (F) a toda proposicin compuesta cuyo valor de verdad es
siempre falso en forma independiente del valor de verdad de las proposiciones simples
que la componen.
Llamamos contingencia si el valor de verdad de la proposicin compuesta depende
del valor de verdad de las proposiciones simples que la componen.
Ejemplos:
tautologa
p q ~p ~q (~p . q) (p v ~q)
V V F F F
V F F V F
F V V F F
F F v V F
p q ~p (~p . q)
V V F F
V F F F
F V V V
F F v F
contingencia

(V)

contradiccin (F)
Equivalencias Lgicas
Involucin ~ (~ p) p
Idempotencia ( p v p ) p ( p . p )
Conmutatividad ( p v q ) ( q v p ) ; ( p . q ) ( q . p ) ; ( p q ) ( q p )
Absorcin p . ( p v q ) p p v ( p . q )
Identidad p . V p ; p . F F ; p v V V ; p v F p
Leyes de De Morgan ~ ( p . q ) ~ p v ~ q ; ~ ( p v q ) ~ p . ~ q

Asociatividad p v ( q v r ) ( p v q ) v r ; p . ( q . r ) ( p . q ) . r

Distributividad p . ( q v r ) ( p . q ) v ( p . r ) ; p v ( q . r ) ( p v q ) . ( p v r )

Observacin: podemos ver que la v ( disyuncin) y la . ( conjuncin) tienen las mismas
propiedades, esto se cumple en el conjunto de las proposiciones, de los conjuntos y en general en
cualquier estructura algebraica que tenga dos operaciones binarias y cerradas que cumplan con las
propiedades enunciadas
Este hecho se conoce como Principio de dualidad y significa que toda propiedad vlida para una
operacin automticamente es vlida para la otra.
Es fundamental, conocer las reglas de las cuales disponemos que llamamos
equivalencias lgicas, tenemos que saber que si no nos convencen debemos demostrarlas y
para eso debemos usar las tablas de verdad
[~ ( p . q ) . ( q v ~ q ) ] . { p [~ p . ( p v ~ q ) ] }

[ (~ p v ~ q ) . V ] . { ~ p v [~ p . ( p v ~ q ) ] }
(1) (2) (3)

( ~ p v ~ q ) . { ~ p v [ ( ~ p . p ) v ( ~ p . ~ q ) ] }
(4) (5)

( ~ p v ~ q ) . { ~ p v [ ( F v ( ~ p . ~ q ) ] }
(6)

( ~ p v ~ q ) . [ ~ p v ( ~ p . ~ q ) ]
(7)

( ~ p v ~ q ) . ( ~ p ) ~ p
(8) (9)
Ejemplo: Simplificar [~ ( p . q ) . ( q v ~ q ) ] . { p [~ p . ( p v ~ q ) ] }
(1) ley de De Morgan
(2) definicin de v
(3) equivalencia de
(4) identidad
(5) propiedad distributiva
(6) definicin de .
(7) identidad
(8) Absorcin
(9) absorcin
para qu utilizamos las equivalencias lgicas? Entre otras cosas para poder
simplificar proposiciones compuestas
Ejercicios
- Negar y simplificar la proposicin:
{[( p . q) . q] v [q t]} (q (t v q))
Solucin:
Se niega todo: ~ [{[(p . q) . q] v [q t]} (q (t v q))]
Aplicando De Morgan y equivalencia del condicional:
~ [{[( ~ p v ~ q) . ~ q] v [~ q v t]} (~ q v (t v ~ q))]
Por absorcin y asociativa: ~ [{ ~ q v [~ q v t]} (~ q v t)]
Por asociativa e idempotencia: ~ [[ ~ q v t ] (~ q v t) ]
Teniendo en cuenta que p p es tautologa: ~ V F

- Simplificar: (p v q) . p . (qv r) . ( p v p v r) . ( q v r )
Solucin:
(p v q) . p . ( p v p v r) . (qv r) . ( q v r)
p . V . ((q .q) v r ) p . ( F v r ) (p . r) (utilizar equivalencias lgicas)

- Simplificar: (p . q) v p v (q. r) v ( p . p . r) v ( q . r )
Respuesta: (p v r) (utilizar equivalencias lgicas)




Proposicin abierta -Funcin proposicional - Predicado
p(x) es una funcin proposicional o proposicin abierta con dominio A = si para
cualquier elemento a del conjunto se verifica que p(a) es una proposicin
Una proposicin abierta o funcin proposicional es un enunciado sobre un conjunto que al
reemplazar la variable por cada elemento del conjunto se transforma en una proposicin
Ejemplo: Sea el conjunto A = N (nmeros naturales) y proposicin abierta p(x) = x > 2
Si x = 1 p(1) = 1 > 2 es una proposicin cuyo valor de verdad es falso
Si x = 3 p(3) = 3 > 2 es una proposicin cuyo valor de verdad es verdadero
Cuantificadores

Universal: para todo (es decir cualquiera)
Ejemplo: x, p (x) se lee para todo x, p (x)
: significa que todos los elementos del conjunto cumplen con la propiedad.
Existencial: - existe al menos uno
Ejemplo: -x, p (x) se lee existe al menos un x tal que p (x)


Trabajaremos con los cuantificadores universal y existencial
- : significa que hay por lo menos un elemento del conjunto que cumple con la
propiedad

Los cuantificadores y las proposiciones
Recordar que una funcin proposicional o proposicin abierta p(x) no es una proposicin y puede
obtenerse una proposicin de diferentes formas:
Especificando la variable por cada elemento del conjunto
Cuantificando la variable, existencial - (existe al menos uno) o universal (para todo)
Ejemplo:
Sobre el conjunto N (nmeros naturales), analicemos la siguiente proposicin abierta:
p(x):x es un nmero natural impar
Especificando si x=2 es falso pero si x= 5 es verdadero, por lo tanto es una proposicin, pero depende
del caso para decir si es verdadera o si es falsa

Cuantificando Consideremos el siguiente enunciado:
P(x):Todos los nmeros naturales son impares
el enunciado lo indicamos x, p (x) donde p(x) es la propiedad a la que se hace referencia.
Pensemos si es posible darle un valor de verdad. Podemos decir que es falso, alcanza con pensar que el
nmero 4 es natural y no es impar y poner V(p)=F.
El enunciado p(x): Algunos nmeros naturales no son impares
es tambin una proposicin, que es la negacin de la anterior. -x: ~ p (x) V(p)=V
Estas proposiciones las obtuvimos por cuantificacin, es decir usamos los cuantificadores
existencial y universal
Negacin de proposiciones cuantificadas
~ [ x: p (x) ] [ -x: ~ p (x) ]
~ [ -x: p (x) ] [ x: ~ p (x) ]

Ejemplo: ~ [ x e IN: x es impar ] [ -x e IN: x no es impar ] IN (nmeros naturales)



Los cuantificadores
Equivalencias e implicaciones lgicas para proposiciones p(x), q(x), cuantificadas
de una variable
[(x: p (x)) . (x:q(x))] x: [ p (x) . q(x) ]







-x: [p (x) . q(x)] [(-x: p (x)) . (-x:q(x))]

[(-x:p (x) v (-x:q(x)] -x: [ p (x) v q(x) ]

x: [ p (x) v q(x) ]
[(x:p (x)) v (x:q(x))]
Los cuantificadores
Observacin: Los cuantificadores no conmutan
x -y = -y x y -x = -x y

Ejemplo: Sea el predicado P(x, y): x > y
2
sobre IN (conjunto de los nmeros naturales)
La proposicin y -x / x > y
2
es equivalente a y (-x / x > y
2
) es verdadera
La proposicin -x y / x > y
2
es equivalente a -x (y / x > y
2
) es falsa para x = y
Variable libre y acotada
En el predicado p (x) a la variable x se la llama variable libre
En x p (x) x es variable acotada
Son variables acotadas las cuantificadas
Ejemplo: dominio en R (conjunto de los nmeros reales) P(x, y): [ x-y=2] y sean:
1) x -y [ x-y=2] 2) x y [ x-y=2] las variables estn acotadas
En 1) consideramos -y [ x-y=2] x es libre e y es acotada si x=7 es verdadera si y=5
Si y=x-2 luego x -y [ x-y=2] es VERDADERA
En 2) consideramos y [ x-y=2] x es libre e y es acotada si x=7 es falso, salvo si y=5
Luego x y [ x-y=2] es FALSO
Ejercicios
Justificando resolver
- En el conjunto A= {12, 8, 3, 24, 9}, considerar p(x; y) = (x 1) s y. Se pide dar
el valor de verdad de x -y: p(x; y)
Solucin: Tanto x como y pertenecen al conjunto A. x es libre e y es acotada
pues si x=24 entonces me quedara (24-1)=<y si y = 24,
Para todo x, existe y tal que: p(x;y) puesto que tiene que ser =<y
Verdadero
- Indicar su valor de verdad. Justificando
Definida en el conjunto R-{0}: 1) -x y / x.y =1 ; 2)x -y/ x.y =1
Respuesta: 1)Falso (justificar) 2)Verdadero (justificar)

- Dar el valor de verdad de la siguiente proposicin x -y:(x < y) x/y en
A={1, 4, -2, 2}
Solucin: Es verdadera, ya que para el 1, -2 y 2, existe el 4 que hace verdaderas
las dos partes del condicional, y para x=4, como el antecedente es Falso, el
condicional es verdadero.
(Es una implicacin que siempre da verdadero, no hay v F)


Reglas de inferencia
Las reglas de inferencia, justifican los pasos dados para demostrar que a partir de una serie
de hiptesis se llega de forma lgica a una conclusin
Usando esta notacin, las hiptesis se escriben en una columna y la conclusin debajo de
una barra horizontal (denota por lo tanto o luego)
Modus Ponens (modo que afirmando afirma) Modus Tollens (modo que negando niega)
p q p q
p ~ p
q ~ q
Silogismo Disyuntivo (modo que negando afirma) Silogismo Hipottico (transitivamente)
p v q p q
~ p q r
q p r

Adicin Dado un enunciado, es posible expresarlo como Simplificacin Dado un enunciado con (conjuncin)
una eleccin (disyuncin) acompaado por otro enunciado es posible hacer dos enunciados por separado
p ( p v q) P q ( p . q ) p p . q p . q
q ( p v q ) p v q p v q P q

( p . q ) q
Reglas de inferencia
Ejemplos:
Modus Ponens (MP)
p q Si llueve hoy, entonces las calles se mojan (premisa)
p Est lloviendo hoy (premisa)
______
q Luego, las calles se mojan (conclusin)

Modus Tollens (MT)
p q Si llueve hoy, entonces las calles se mojan (premisa)
q Las calles no se mojan (premisa)
__________
p Luego, no llueve hoy (conclusin)

Silogismo Disyuntivo (SD)
p V q He ido al cine o me he ido de compras
q No he ido de compras
__________
p Por tanto, he ido al cine
Simplificacin
p q Tengo una manzana y tengo una pera (premisa) p q Tengo una manzana y tengo una pera

p Tengo una manzana (conclusin) q Tengo una pera

Razonamientos
La Lgica se ocupa de distinguir los razonamientos correctos de los incorrectos.
Un razonamiento est integrado por una sucesin de proposiciones simples, o
compuestas llamadas premisas, y sirven de fundamento a otra proposicin llamada
conclusin, la cual se afirma sobre la base de las primeras. Lo indicaremos de la
siguiente forma: P Q donde P es el antecedente y Q el consecuente.
P es una conjuncin de premisas. Cada premisa, a su vez, es una proposicin simple o
compuesta. Q es una proposicin simple o compuesta. Simblicamente:
Forma del razonamiento Forma de proposicin
p
1

p
2
( p
1
. p
2
. p
3
. ) q
p
3
premisas

q conclusin
La validez de un razonamiento depende de la forma de las proposiciones que intervienen,
son verdaderas o falsas las proposiciones que los integran.
Los razonamientos son vlidos o no vlidos. Un razonamiento es vlido cuando su forma o
estructura es correcta. En este caso toda hiptesis que parta de premisas verdaderas
obtendr, necesariamente, una conclusin verdadera.
La forma de razonamiento es no vlido cuando puede haber una interpretacin de esa
estructura en que las premisas sean verdaderas y la conclusin falsa.
Para demostrar si un razonamiento es vlido o es no vlido se pueden usar
distintos mtodos:
Se construye la tabla de verdad de la forma proposicional. Si el resultado
es una tautologa el razonamiento es vlido
Mtodo por contradiccin. Suponer que la implicacin no es una
tautologa, es encontrar un contraejemplo donde las premisas son
verdaderas y la conclusin falsa, de esta forma quedar probada la no
validez del razonamiento, en cualquier otro caso el razonamiento es vlido
Ejemplo:
p ( q . r ) V p ( q . r ) V
~ r v ~ q F F p v r V V
~ p F F p ~ r F F
Razonamiento vlido Razonamiento no vlido

Mtodo deductivo o directo; consiste en llegar a la conclusin a partir
de las premisas utilizando las reglas de inferencia, las leyes tautologas,
equivalencias lgicas. El camino no es nico, pero el razonamiento es vlido
o no lo es
Razonamiento-Anlisis de validez
Razonamiento-Anlisis de validez
Ejemplo:
Dar la validez del siguiente razonamiento [(p r) . ( p q ) . (q s)] (r s)
Premisas conclusin
Utilizando las regla de inferencia : llegar a la conclusin a partir de las premisas
1) p r premisa 1
2) p q premisa 2
3) q s premisa 3
4) r p por contrarreciproco en 1)
5) r q por silogismo hipottico entre 4) y 2)
6) r s por silogismo hipottico entre 5) y 3)
llegamos a la conclusin!!! Razonamiento Vlido

Suponer que la implicacin no es una tautologa: el valor de verdad de las premisas es V y
simultaneamente el valor de verdad de la conclusin es F
1) p r V
2) p q V
3) q s V
4) r s F en 4) conclusin, suponemos que V[r s]=F eso solo pasa si V[r]=V y V[s]=F,
entonces en 1) el V[r]=F por ser premisa V(p r)=V se deduce que V[p]=F, entonces en 2) el V[ p]=V por
ser premisa V( p q)=V se deduce V[q]=V, en est situacin en 3) como por 4) V[s]=F entonces el valor
de la premisa es V(q s)=F Contradiccin!!! Razonamiento Vlido

Efectuando su tabla de verdad como se trata de una proposicin compuesta formada por 4 proposiciones
simples la tabla tendr 2
4
= 16 filas Probar que es una tautologa por lo tanto el Razonamiento Vlido
Ejercicio
Analizar la validez del siguiente razonamiento:
Si entregas todas las tareas obligatorias, aprenders Matemtica Discreta.
Vos has aprendido Matemtica Discreta.
Por lo tanto, hiciste todas las tareas obligatorias.
Solucin
Definimos las proposiciones para simbolizar el razonamiento
p: entregas todas las tareas obligatorias, q: aprenders MD
Con lo cual el razonamiento queda: [(p q) . q )] p
p
1:
p q
p
2
q
C: p
Suponer que la implicacin no es una tautologa:
Si V(p) =F (conclusin) Consideramos en la p
1
V(p)=F , V(q) =V
entonces F implica V =V La p
2
V(q) =V
Entonces V . V = F las premisas son verdaderas y la conclusin falsa por lo tanto el
argumento no es vlido.. Recordar: Un razonamiento es vlido si la conclusin es
consecuencia lgica de conjuncin de las premisas

Ejercicio
- Probar, sin usar tablas de verdad la validez del siguiente razonamiento:
Marta est cocinando una torta. Si Marta cocina la torta no est estudiando ingls.
Marta podr ir a bailar si estudia ingls. Finalmente Marta no podr ir a bailar.
Solucin:
Primero vamos a definir las proposiciones para simbolizar el razonamiento:
p: Marta est cocinando una torta.
q: Marta est estudiando ingls.
r: Marta podr ir a bailar.
Con lo cual el razonamiento queda: [p . (p ~q) . (q r] ~ r
p V premisa
p ~ q V premisa
q r V premisa
~ r F conclusin
Recordemos que para que un razonamiento sea vlido, de premisas verdaderas no
debera poder obtenerse una conclusin falsa.
Si consideramos: v(p)=V . v(q)=F . v(r)=V, resultan las premisas verdaderas y la
conclusin falsa. El razonamiento es INVLIDO



Ejercicio
- Probar, sin usar tablas de verdad la validez del siguiente razonamiento:
Si yo lo hice, me lo reprocho y si no lo hice me lo reprocho. Por consiguiente me lo
reprocho
Solucin:
Primero hay que simbolizarlo: h r ; ~ h r r : (h r).(~ h r) r
Se puede probar por mtodo demostrativo:
h r premisa
~ h v r equivalencia
~ h r premisa
h v r equivalencia
(~ h v r) . ( h v r ) ley de combinacion
(~ h . h ) v r distributiva
F . r contradiccin
r identidad Razonamiento Vlido


Ms Ejercicios
La simplificacin de la siguiente proposicin: ~ {(p q) . [~ q . (r v ~ q)]} es (p v
q) Respuesta: Verdadero

Analizar, sin usar tablas de verdad, la validez del siguiente razonamiento:
Estudio matemtica discreta si no me voy de vacaciones. Ir de vacaciones si y slo si
viajo con amigos. Por lo tanto si no estudio matemtica discreta no ir de vacaciones
Respuesta: Razonamiento NO vlido

Probar, la validez del siguiente razonamiento: Si Carlos estuvo en el partido
entonces necesitar dormir. Carlos no pudo dormir. Por consiguiente no fue al partido.
Respuesta: Razonamiento Vlido ((p q) . q) p ( modus tollens)

Simplificar: [(p vq) . (s r) . (s v q)] (p r)
Respuesta: (p r) (trabajar con el corchete, utilizar equivalencias lgicas, silogismo
hipottico)

Simplificar: [(p q) . ( r s) . (s q)] p v r
Respuesta: (p v r) (p v r) (trabajar con el corchete, utilizar equivalencias lgicas,
silogismo hipottico)

Ms Ejercicios
Dar el valor de verdad de la siguiente proposicin -yx: x + 2y = 19 en Z
Solucin: Falsa
Como no hay un nmero entero y tal que x + 2y = 19 para todos los nmeros enteros x
la proposicin -yx P(x,y) es falsa -Una forma sencilla de justificarlo es mostrando que
la negacin es verdadera.
La negacin de la proposicin dada es: y - x: x + 2y = 19, y vemos que se cumple
con cualquier y e Z, por ejemplo tomando x=y ya que 3y = 19 en Z

Escribir la negacin de la siguiente expresin p: x y [x < y-z {x< z <y}] .Dar el
valor de verdad de la proposicin para R (nmeros reales) y para Z (nmeros enteros)
Solucin:
La negacin es p: - x - y [x < y . z {z s x v y s z}]
La proposicin p es Verdadera para R, pues se cumple para todo x e y.
En cambio en Z es Falsa, ya que por ejemplo, si x =3 e y=4, no existe z que cumple lo
pedido.