Académique Documents
Professionnel Documents
Culture Documents
LISTADO 1
tica I (525105)
Matema
Lo gica
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)
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
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)