a) Realizar la tabla de verdad.

b) Negar las proposicones y mostrar el re-

sultado.
Universidad del Cauca c) Realizar las tablas de verdad para las ne-
gaciones.
Taller: Matemáticas Generales
6. Escribir las siguientes proposiciones en simbo-
los y determinar el valor de verdad.
a) Si soy caucano entonces soy colombiano.
8 de febrero de 2018
b) Si 5 multiplidado por 12 es 60 y 9 es el
cuadrado de 3 entonces soy estudiante de
la Universidad del Cauca.
1. Unidad 1: Lógica y conjun- c) 8 es un número par y 8 es divisible por 2.
tos
7. Comprobar si las siguientes proposiciones son:
1. Determinar cuales de las siguientes expresio- tautologı́as, contradicción o contingencia.
nes son proposiciones.
a) (p ⇒ q) ⇔ (∼ q ⇒ (∼ p))
a) El pentágono tiene 6 lados. b) ∼ (p ⇒ (∼ q)) ⇔ (p ∧ q)
b) Colombia tiene dos mares. c) (p ⇒ q) ⇔ (∼ p ∨ q)
c) ¿Cuál es tu nombre?.
8. Completar con F o V cada una de las siguien-
d ) ¡Él lo hizo! tes proposiciones. Justificar la respuesta.
e) 3/4 de 12 es 9.
a) Se sabe que p ∧ q es verdadera, por lo
f ) (A + B)2 = A2 + 2AB + B 2 . tanto el valor de verdad de ∼ p ⇒ q es:
2. Formar proposiciones compuestas, a partir de b) Se sabe que ∼ p ⇒ q es falsa. Por lo tanto
las siguientes proposiciones simples. el valor de verdad de p ∨ (∼ q) es:

a) Este mes me voy a trabajar. c) Se sabe que ∼ p ∨ q es falsa. Por lo tanto,

el valor de verdad de p ⇔ q es:
b) Este mes me muero de hambre.
d ) Se sabe que p es falsa y ∼ p ↔ q es ver-
c) Vivo en Lima. dadera. Por lo tanto, p ⇒ (∼ q) es:
d ) Vivo en Madrid.
9. Escribir sin condicional las siguientes proposi-
e) Estudio matemáticas. ciones.
f ) Puedo ensenar matemáticas.
a) (p ∧ q) ⇒ r
3. Negar las siguientes proposiciones
b) p ⇒ (∼ q ∨ (∼ r))
a) Todos los números primos son pares.
b) No todos los triángulos son isóceles. 2. Conjuntos numéricos
c) Juan tiene tres o menos años.
1. Ejercicios
4. Sabiendo que p y r es falso, q verdadero. Hallar
el valor de verdad de las siguientes proposicio-
nes:
a) ∼ (p ⇒ (∼ q)) ⇔ (p ∧ q)
b) p ⇒ (q ∧ r)
c) (∼ p ∧ (∼ q)) ⇒ (p ∨ q)
d ) (∼ q ∧ r) ∨ (q ∨ (∼ r))
5. Para las proposiones anteriore: