Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LOGICA UNIDAD 2 Final PDF
LOGICA UNIDAD 2 Final PDF
GRUPO
90004_486
PRESENTADO:
CARLOS MAURICIO SALAS
conectores lógicos que se dan para determinadas situaciones que se plantean en el trabajo a
presentar. Argumentar y formular tablas de verdad por medio del análisis de premisas y todoslos
conocimientos adquiridos.
OBJETIVOS GENERALES
Aprender temas tratados en la unidad 2 a través del desarrollo de algunos ejercicios, para
ESPECIFICOS
EJERCICIO 1.
conceptual que encierre los conceptos básicos de la presente unidad que son:
• Lógica Matemática
• Razonamientos Lógicos
✓ EJERCICIO 2: Apropiación de las reglas de la inferencia.
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
En agosto hay mucho viento, entonces puedo elevar cometas. En agosto hay
mucho viento.
Lenguaje simbólico: 𝑝 → 𝑞
̅̅̅̅̅̅̅̅̅̅̅
𝑞
✓ EJERCICIO 3.
A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes
ítems:
Rafael Nadal tenista español, está considerado como uno de los mejores tenistas de la
historia y el mejor de todos los tiempos en pistas de tierra europea. Hasta la fecha ha sido
campeón de 17 torneos de Grand Slam, lo que le coloca como el segundo jugador profesional con
más títulos "grandes" en la historia del tenis, tras el suizo Roger Federer. Se concluye que si este
año no juega Roger Federer en Wimbledon el ganador de este torneo será Rafael Nadal.
que Rafael Nadal sea considerado como uno de los mejores tenistas de la historia, campeón de 17
torneos y el segundo jugador con más títulos no garantiza de que si no juega este año Roger
Premisas
P1: 𝑝 → ¬𝑟
P2: 𝑞 → 𝑝
P3: 𝑟 ∧ 𝑞
Conclusión: 𝑟 ∨ 𝑞
p. juego futbol
b: voy a bañarme
c: salgo a la calle
q. voy al parque
r. hace calor en la tarde
Si juego futbol en entonces no hace calor en la tarde. Si voy al parque entonces juego futbol.
Puesto que hace calor en la tarde y voy al parque. Por lo tanto, hace calor en la tarde o voy al
parque.
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico:
Generar una tabla de verdad manualmente a partir del lenguaje simbólico:
v v v f V f v v F v
v v f v V v v f F v
v f v f V f v f F v
v f f v F v v f F v
f v v f V v f v F v
f v f v V v f f F v
f f v f V v v f F v
f f f v F v v f F v
𝑃1: (𝑝 → ¬𝑟)
𝑃2: (𝑞 → 𝑝)
𝑃3: (𝑟 ∧ 𝑞)
𝐶𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛: (𝑟 ∨ 𝑞)
CONCLUSIÓN