Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Presentado por:
Código: 1087549884
Grupo: 200611A_471
Materia:
Programa:
Ingeniería Industrial
Este trabajo es con el fin de Poner a prueba los conocimientos aprendidos de las
proposiciones simples y compuestas, conocer la importancia de las tablas de verdad en
proposiciones compuestas. Conceptualizar, analizar y argumentar de forma adecuada los
procedimientos desde la lógica proposicional, tautologías, contradicciones y contingencias,
estas argumentaciones son a las que se llegan para ver el valor de verdad de las tablas de
verdad.
Objetivos
Tarea 2
Ejercicio B
Proposición compuesta en lenguaje Natural
Si el sol es redondo y la luna es un satélite si y solo si la tierra hace parte de la vida láctea
p: El sol es redondo
q: La luna es un satélite
r: La tierra hace parte de la vida láctea
Proposición compuesta en lenguaje simbólico
(p˄q)↔r
p Q r p˄q (p˄q)↔r
V V V V V
V V F V F
V F V F F
V F F F V
F V V F F
F V F F V
F F V F F
F F F F V
Este ejercicio es una contingencia porque su valor de verdad varía entre falso y verdadero.
Tarea 3
Ejercicio B
Proposición compuesta en lenguaje Natural
Si Juan compra tennis entonces compra medias y si compra zapatos entonces compra
camisa y si compra medias y camisa entonces compra pantalón y si compra tennis y
zapatos entonces compra pantalón
p: Juan compra tennis
q: Compra medias
r: Compra zapatos
s: Compra camisa
t: Compra pantalón
Proposición compuesta en lenguaje simbólico
{(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡
En este ejercicio del modo manual, verificando en numerosas ocasiones me dio una
contingencia y por medio del simular truth nos da un resultado que es una tautología
Conclusiones
Cortez, J. D. (27 de marzo de 2017). Video de Apoyo Uso de Tablas de Verdad - UNAD. Obtenido de
https://www.youtube.com/watch?v=vtzznU68L5g&t=2301s
Murillo, J. A., & Hernández Yánez, M. (s.f.). Lógica Matemática - Monografias.com - Unicauca.
Obtenido de
http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica
/Textos/Biblioteca/Libros/Libro_008/Logica_Matematica.htm