UNIVERSIDAD DE CONCEPCION

FACULTAD DE CIENCIAS FISICAS Y MATEMATICA

DEPARTAMENTO DE INGENIERIA MATEMATICA

LISTADO 1
tica I (525105)
Matema
Lo gica

1) Por medio de tablas de verdad, determine si las siguientes proposiciones corresponden

a una tautologa. [En Pr actica (e)]

a) (p q) ( p q)
b) [(p q) q] p
c) [(p q) (q r)] (p r)
d) (p q) [(p q) ( p q)]
e) [(p q) ( r q) r] p

2) Sea el conectivo l
ogico definido por:

p q (p q) ( p q)

Demuestre la tautologa: p (p q) q
3) Dadas las proposiciones:
p:1+5=8
q : (2 = 5) (3 4 = 1)
r : (4 > 2 1 < 3) (2 > 3)
Determine el valor de verdad de:

( p) (q r)

4) Cosidere las siguientes proposiciones:

p : Juan es alumno de la Universidad de Concepcion
q : Pablo es alumno de la Universidad del Bio-Bio
r : Pablo no es alumno de la Universidad de Concepcion
Si p es verdadera y [p (q r)] es falsa, en que universidad estudia Pablo?
5) Escriba simbolicamente cada una de las siguientes proposiciones: [EP (b) y (f )]

a) Algunos n
umeros racionales son enteros.
on x2 x + 1 = 0 no tiene soluciones reales.
b) La ecuaci

umero positivo entero, x es un n
c) Si x es un n umero real.
d) Todo n
umero real es mayor que uno.
umero irracional entonces, x2 es un numero irracional.
e) Si x es un n
f) Todo hombre ama a una mujer rubia y se ella le corresponde el se casa con ella.
g) Todos los chilenos saben leer, pero no todos entienden lo que leen.

1
 6) Determine el valor de verdad de la siguientes proposiciones.

a) x R, 2x 1 < 0
2
b) x N : x
<3
c) x R, ! y R : xy 0 |x y| = 2x
x
d) x N, x+1
Q
e) (a x b, a y b) = |x y| b a
f) x R, n Z : n 1 x < n

7) Exprese simbolicamente las proposiciones siguientes, con sus conectivos

correspondientes y deterine su valor de verdad. [En Pr actica (b)]

umero imaginario y 2 es racional, entonces hoy es lunes.
a) Si 3 es un n
b) Si la luna es de queso y la nieve no es negra, entonces Santiago es la capital de
Chile.
c) Si el Sistema Solar est
a formado por estrellas y la Tierra no es una estrella, entonces
la Tierra no est
a en el Sistema Solar

8) Niegue las siguientes proposiciones [En Pr

actica (b), (d) y (j)]

a) x R : x2 = x
b) x R : x + 1 > x
c) x, y R : x2 + y 2 < 0
d) a R, b R : |a 3b| 5
e) z Ry R : x R; 2x 3y + z = 0
f) x R x > 3

g) x R, x 0 xR
h) (a N)(a2 es impar a) es impar
i) (x S)(x es par y x es primo) donde S R
j) (y R)(x R)(x + y = 0)
k) (x R)(y R)(x > y)
9) Dadas las siguientes proposiciones:
p : (x, y R)(x + y = 2)
q : (z Z)(x = 1)

a) Establezca el valor de verdad de p q , p q, p r donde r es una

proposici
on cualquiera.
olica: p q, (p q)
b) Escriba en forma simb

LBA/lba 5 de marzo de 2015