Documentos de Académico
Documentos de Profesional
Documentos de Cultura
A. Riquelme B.
Algebra y Trigonometria (527103)
Listado 1 - Lgica y Conjuntos.
h) ( p q) (p q)
) r (p q)
b) p q
i ) p ( p p)
o) (p p) p
c) (p p)
j ) ( p q) ( p q)
d) p p
k ) (p q) r
e) (p q)
l ) (p q) r
p) (p p) r
q) p (p p)
f) pq
m) (p q) r
r ) q (p p)
g) p p
n) p (q r)
s) (p q) (q q)
r:
a+b= a+ b
c) p r (q r)
e) (r q) q
b) p q r
d ) p (q r)
f) qr
i ) p q q p
b) p q q p
j ) p q p q
c) p q q p
k ) (p q) p q
d) p q q p
l ) (p q) p q
e) p (q r) (p q) r
m) (p q) p q
f ) p (q r) (p q) r
n) p (q r) (p q) (p r)
g) p (q r) (p q) r
) p (q r) (p q) (p r)
h) ( p) p
o) p q (p q) (q p)
11. Consideremos como conjunto universo al conjunto R. Sea P una funcin proposicional. Escriba en forma simblica las siguientes aseveraciones usando cuantificadores.
a) Todo nmero natural n, hace que la proposicin P (n) sea verdadera.
b) P (m) es verdadera para todo nmero entero m.
c) P (x) es verdadera para algn nmero natural x.
d ) Todos los nmeros racionales c, hacen que la proposicin P (c) sea verdadera.
e) Todos los nmeros reales b, hace que la proposicin P (b) sea falsa.
f ) Existe un nmero natural y, tal que, P (y) es falsa.
g) Ningn nmero natural z, hace que P (z) sea verdadera.
h) Existe un nmero natural h, tal que, P (h) es verdadera.
i ) P (s) es falsa para algn nmero real s.
j ) Existe un nico nmero natural q, tal que, P (q).
k ) Existe un nico nmero entero k, tal que, P (k).
12. Escriba simblicamente:
a) El cuadrado de todo nmero real es positivo o cero.
b) Existe un nico nmero real cuya raz cuadrada es cero.
c) Para todo nmero real x y todo real z, se verifica la siguiente afirmacin
(x + z)2 = x2 + 2xz + z 2 .
d ) Existe, un nmero natural que es mayor que 5.
e) Existe, a lo menos, un nmero natural que es mayor que 5.
f ) Para todo par de nmeros naturales, su suma es un nmero natural.
g) La suma de dos nmeros enteros siempre es un nmero entero.
h) Existen, al menos, dos nmeros naturales cuyo cuociente es un nmero racional.
i ) Para cualquier n N, se tiene que, 2n es par.
j ) El cuadrado de todo nmero real es no negativo.
e) x A, x2 + 3x = 12.
f ) !x A, x2 + 3x = 12.
c) x B, x es primo.
b) !x B, x es impar.
d ) x B, x2 > 6.
c) A U, A.
e) {}.
b) A, A.
d ) = {}.
f ) {} {{}}.
BC
AB
BC
CC
4) {a}
5) P (A)
6) P () P (A).
24. Indicar si las siguientes afirmaciones son verdaderas o falsas. Justique su afirmacin:
a) {1, 2}
f ) a {, {a}}
g) {a, b} = {, a, b}
c) {a} {, {a}}
h) {a} {, {a}}
i ) {a, b} = {b, a}
e) {a}
j ) {a, b} {a, b}
c) A A B.
b) A B A B.
d ) Ac A.
#A = 8
#B = 12
#C = 10
#(A B C) = 1.