EJERCICIOS: EQUIVALENCIAS LOGICAS.

PREDICADOS Y CUANTIFICADORES
Fecha de entrega: 17/09/2012 (FMI1, FMI2), 19/09/2012
(FMI3, FMI4), 21/09/2012 (FMI5, FMI6)
(1) Utilizando tablas de verdad, estudia si la siguientes formulas
son equivalentes : p (q r) y q (p r)
(2) Sin utilizar tablas de verdad, demuestra que: (p q) r
p (q r)
(3) Simplifica la proposicion: [[(p q) r] q]
(4) Sea P (X) la sentencia: X vive en Ourense, donde el dominio
de X consiste en todos los estudiantes de tu clase. Expresa
cada una de estas cuantificaciones en lenguaje natural:
x, P (x)
x, P (x)
x, P (x)
x, P (x)
(5) Sea P (X) la sentencia: X tiene un coche, Q(X): X tiene
una moto, y R(X): X tiene una bicicleta. Expresa cada
una de las siguientes sentencias en terminos de P (X), Q(X) y
R(X), cuantificadores y conectivos logicos. El dominio para los
cuantificadores consiste en todos los estudiantes de tu clase.
Un estudiante de tu clase tiene un coche, una moto y una
bicicleta.
Alg
un estudiante de tu clase tiene un coche y una moto,
pero no una bicicleta.
Ning
un estudiante de tu clase tiene un coche, una moto y
una bicicleta.
Para cada uno de los tres medios de transporte, coche,
moto y bicicleta, hay un estudiante de tu clase que tiene
uno de ellos.
(6) Sea Q(X) la sentencia: X 1 < 2X. Si el dominio consiste en
todos los enteros, cuales son los valores de verdad?
Q(1)
Q(1)
Q(0)

x,
Q(x)
x, Q(x)
x, Q(x)
(7) Cuales son los valores de verdad de estas proposiciones? Para
las que sean falsas halla un contraejemplo.
x R, x + 3 = 2x
n Z, m Z, n2 m
2
x R, x 3 < x
n Z, m Z, nm = m
x R, x2 = 1
x R, y R, x < y x2 < y 2 + 7