UNIVERSIDAD DE CONCEPCION

FACULTAD DE CIENCIAS F
ISICAS Y MATEMATICAS

LISTADO 1: LOGICA
n a la Matema
tica Universitaria - 520145
Introduccio

Observaci
on: Los ejercicios marcados con (P) son los ejercicios a resolver en las clases practicas.
1) Verifique cu
ales de las siguientes afirmaciones son proposiciones. De cada proposicion diga si es simple
o compuesta y determine su valor de verdad justificando adecuadamente.
1.1)

25 9 =

25

9,

1.5) A que hora sales de clases?,

1.6) si 3 es un n
umero par, entonces 9 tambien lo
es,

1.2) (y + 5) = y + 5 ,
y
2x + y
=2+ ,
1.3)
x
x
1.4) 3 es un n
umero par,

1.7) 2 es un n
umero impar si y solo si 4 tambien lo
es.

2) Con la informaci
on entregada en cada caso determine el valor de verdad de las siguientes proposiciones
compuestas:
2.1) p (p q), sabiendo que p q tiene valor de verdad falso,
2.2) p (p q), sabiendo que q tiene valor de verdad verdadero,
2.3) [p [(p r) r]] (r p), sabiendo que r tiene valor de verdad falso,
2.4) (p r) ( p q), sabiendo que p tiene valor de verdad falso,
2.5) ( p r) ( q p), sabiendo que (p q) r tiene valor de verdad falso.
3) Conociendo el valor de verdad de las siguientes proposiciones compuestas y la informacion adicional
entregada, determine en cada caso el valor de verdad de la proposicion r.
3.1) q r tiene valor de verdad falso,
3.2) p (q r) tiene valor de verdad falso y q tiene valor de verdad verdadero,
3.3) r q tiene valor de verdad verdadero y (p q) s tiene valor de verdad falso.
4) Sean p, q, r y s proposiciones l
ogicas. Muestre que
4.1) p F F ,

4.4) [p (q r)] [(p q) r],

4.2) (P) p (p q) q,

4.5) (P) (p q) ((p q) F ),

4.3) p q p,

4.6) (p (r s)) ((p r) s).

Analice por que las implicaciones l

ogicas anteriores no son equivalencias logicas.
5) Sean p, q y r proposiciones l
ogicas. Construya la tabla de verdad asociada a cada una de las siguientes
proposiciones e indique en cada caso si la proposicion dada es tautologa, contingencia o contradicci
on.
Justifique su respuesta.

LISTADO 1: LOGICA

5.1) (p r) (r p),

5.4) (p q) ( p q),

5.2) (p q) (r r),

5.5) ( p q) [p (p q)] (p q),

5.3) (p q) (q r),

5.6) [[p (q r)] [p (q r)]] (p q).

6) Escriba simb
olicamente las siguientes proposiciones. Nieguelas, escribiendo cada negacion tanto de manera
simb
olica como en lenguaje usual.
6.1) Existe un u
nico n
umero real x que satisface |x| 0.
6.2) (P) Existe un n
umero real x que es menor que cualquier otro n
umero real.
6.3) (P) Para cualquier n
umero real x existe otro n
umero real y que es menor que x.
6.4) Existe un u
nico n
umero natural x que satisface x2 = 1.
6.5) Existe un n
umero entero x que satisface x2 = 1.
6.6) Todo n
umero natural x satisface que el es divisible por 8 si y solo si es divisible por 12.
6.7) Si un n
umero x R es m
ultiplo de 12, tambien es m
ultiplo de 8.
7) Determine, justificando, el valor de verdad de las siguientes proposiciones y escriba su negacion.
7.7) (P) y R : ! x R : x2 + y = 2,

7.1) x R : x2 > 0,
7.2) x R : x2 > 0,

7.8) x R : y R : xy > 0,
7.9) ! x N : x2 = x,

7.3) x ]0, +[ : x + x 0,
7.4) (P) x R : y R : x2 + y = 2,
2

7.5) (P) x R : ! y R : x + y = 2,
2

7.6) (P) y R : x R : x + y = 2,

7.10) x R : ! y R : xy = 0,
7.11) x R : x < 0 |x| > x,
7.12) x R : x 0 |x| = x,

8) (P) Sea M el siguiente conjunto M = {1, 2, 3, 4, 5}.

8.1) Decida si la proposici
on x M : y M : x + y < 8 es verdadera.
8.2) Niegue la proposici
on anterior.
9) Sea A = {2, 1, 0, 1}. Determine el valor de verdad de la siguiente proposicion logica
x A : y A : y x < 1.
Justifique su respuesta y escriba la negacion de la proposicion dada.
10) (P) Sean A R y s(x) y p(x) funciones proposicionales de x R. Sabiendo que la siguiente proposici
on
es verdadera
( x A : s(x)) ( x A : p(x)) ,
determine de cu
al de las siguientes proposiciones podemos afirmar que es verdadera. Justifique su respuesta.
p: x A : s(x) p(x),

AAV/GAJ/BBM/LBA/ACQ/MGI/JSA/MSS/FTO

q: x A : s(x) p(x).

Trimestre 1, 2015