LOGICA MATEMATICA
TRABAJO COLABORATIVO 1

JOSEHINER GUERRERO HUERTAS Cod.5207887
Tutor. PEDRO JOSE RUIZ
GRUPO 551105_3

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
MAYO de 2015

1. ¿Cuáles de las siguientes frases son proposiciones? ¿Cuál es el valor de verdad de aquellas que son proposiciones?
Cali es la capital de Colombia. Proposición Falsa
Buenos Aires es la capital de Argentina. Proposición Verdadera
¿qué día es hoy? No es proposición

2. ¿Cuál es la negación de cada uno de los siguientes enunciados?
Hoy es jueves.
Hoy no es jueves
No hay polución en Bogotá.
Hay polución en Bogotá
El verano de Villavicencio es cálido y soleado. El verano de Villavicencio no es cálido y soleado.
El verano de Villavicencio …ver más…

Si se mantiene cálido durante una semana entonces el manzano florecerá

8. Escriba cada uno de los siguientes enunciados en la forma “p si, y sólo si q”.

a) Si hace calor afuera, te compras un helado, y si te compras un helado, hace calor afuera.
b) Para ganar la rifa es necesario y suficiente tener el número ganador.

Respuesta /
a) Si hace calor afuera, te compras un helado, y si te compras un helado, hace calor afuera. Hace calor afuera si y solo si compras un helado
b) Para ganar la rifa es necesario y suficiente tener el número ganador. Ganas la rifa si y solo si tienes el numero ganador

9. Enuncie la recíproca, la contrarrecíproca y la inversa de cada uno de los siguientes condicionales.
a. Si un entero es par, entonces es divisible por 2.

b. Voy a clases siempre que vaya a haber un control.

Respuesta /
a. Si un entero es par, entonces es divisible por 2. Reciproca. Un entero es par solo si es divisible por 2
Contra recíproca. Si no es divisible por 2 no es un entero par
Inversa. Un entero no es par si no es divisible por 2

b. Voy a clases siempre que vaya a haber un control.
Reciproca si hay un control entonces voy a clases
Contra recíproca. Si no voy a clases entonces no hay un control
Inversa. Si no hay un control entonces no voy a clases

10. Construir la tabla de verdad para:
a)

b)

c) p → (q → r)

a)

V
V
V
F
F
V
V
V
F
F
V
F
F
V
F
V
V
F
V
V
V
F
f v V
V
V
v