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.2) (y + 5) = y 2 + 52 ,
2x + y
y
1.3)
=2+ ,
x
x
1.4) 3 es un n
umero par,

1.6) si 3 es un n
umero par, entonces 9 tambien lo
es,
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 (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 [(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. Determine si las siguientes afirmaciones son verdaderas o falsas.
Justifique en cada caso.
4.1) p F F ,

4.4) (q r) (r q),

4.2) p q p,

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

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

4.6) (P) [(p q) (r q) p] r.

Determine, por cada una de las implicaciones logicas, si son o no 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.
5.1) (p r) (r p),

5.4) (p q) ( p q),

5.2) (P) (p q) (r r),

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

5.3) (P) (p q) (q r),

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

LISTADO 1: LOGICA,
IMU (520145)

6) Un a
no es bisiesto si es divisible por 4, pero no es divisible por 100. Si es divisible por 4 y 100, es bisiesto si
adem
as es divisible por 400. Por ejemplo, el a
no 2004 fue bisiesto (divisible por 4 y no divisible por 100).
El a
no 1900 no fue bisiesto (es divisible por 4 y 100, pero no por 400), mientras que el a
no 2000 s fue
bisiesto (divisible por 4 y 100 y tambien por 400).
Sean p(x) : x es divisible por 4, q(x) : x es divisible por 100 Y r(x) : x es divisible por 400. Analice si la
siguiente proposici
on es verdadera x ]0, +[ : x es bisiesto p(x) ( q(x)) r(x)).
7) Considere las siguientes proposiciones logicas:
p1
p2
p3
p4
p5
p6
p7

:
:
:
:
:
:
:

Existe un u
nico n
umero real x que satisface |x| 0.
Existe un u
nico n
umero real x mayor o igual que cero tal que x2 = 1.
Existe un u
nico n
umero entero x que satisface x2 = 1.
Todo n
umero natural x satisface que el es divisible por 8 si y solo si es divisible por 12.
Si un n
umero x N es m
ultiplo de 12, tambien es m
ultiplo de 8.
Existe un n
umero real x [1, 1] tal que para todo y [1, 1] se cumple que x2 + y 2 1.
Para cualquier n
umero real x [1, 1] existe otro n
umero real y [1, 1] tal que x2 + y 2 1.

7.1) Escrbalas simb

olicamente y determine su valor de verdad, juustificando su respuesta en cada caso.
7.2) Niegue las proposiciones p1 , p4 y p6 , escribiendo las negaciones tanto en forma simbolica como en
lenguaje usual.
En pr
actica: p1 , p2 , p6 y p7 .
8) Sean p(x), q(x) y s(x) las siguientes funciones proposicionales.
p(x) : |x 1| = 2,

q(x) : x 4 0,

s(x) : y R+ : x + y 2 = 4.

8.1) Determine el conjunto de validez de cada una de las funciones proposicionales dadas.
8.2) Determine el valor de verdad de las siguientes proposiciones logicas, justificando sus respuestas y
niegue las proposiciones i, ii, v y vi.
i. x {3, 1, 1, 3} : p(x),
ii. ! x {3, 1, 1, 3} : p(x),
iii. x ] , 4[ : q(x),

iv. x [2, +[ : s(x)

v. x R : q(x) s(x),
vi. ( x {5, 5} : q(x)) ( x {5, 5} : s(x)).

9) (P) Determine el valor de verdad de la proposicion logica x A : y A : y x < 1 si

A = {2, 1, 0, 1}. Justifique su respuesta y escriba la negacion de la proposicion dada.
10) (P) Sea M el siguiente conjunto M = {1, 2, 3, 4, 5}. Decida si la proposicion x M : y M : x+y < 8
es verdadera y nieguela.
11) Determine, justificando, el valor de verdad de las siguientes proposiciones y escriba su negacion.
11.1)
11.2)
11.3)
11.4)
11.5)
11.6)

x R : x2 > 0,
x R : x2 > 0,
x ]0, +[ : x2 + x 0,
(P) x R : y R : x2 + y = 2,
(P) x R : ! y R : x2 + y = 2,
(P) y R : x R : x2 + y = 2,

11.7) (P) y R : ! x R : x2 + y = 2,
11.8) ! x N : x2 = x,
11.9) x R : ! y R : xy = 1,
11.10) x R : x < 0 |x| > x,
11.11) x R : x < 0 |x| > x,

12) Considere las siguientes proposiciones logicas

p : x R : y R : x + y = 1

q : x R : y R : x + y = 1.

12.1) Escriba la negaci

on de las proposiciones dadas.
12.2) Determine el valor de verdad de cada una de ellas. Justifique sus respuestas.
AAV/GAJ/LBA/BBM/HDN/MGI/JSA/MSS/MWC

Trimestre 1, 2016