Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Grupo 2445
2023
2
Introducción
El presente trabajo busca obtener y desarrollar diferentes actividades que aporten al conocimiento
sobre Métodos para probar la validez de argumentos el cual tiene diferentes implementos como lo
son el lenguaje natural, lenguaje simbólico, conectores y simplificaciones los cuales permiten
realizar una tabla de verdad para afrontar todos nuestros conocimientos, en este tema el cual es de
gran importancia.
3
Objetivos
General
Específicos
Ver todos los videos y referentes bibliográficos para obtener información sobre el tema
(𝑝 → ~q) ∧ (r → q)
LENGUAJE NATURAL
TABLA DE~q)
p q r (𝑝 → VERDAD
(r → q) (𝑝 → ~q) ∧ (r → q)
PROPOSICIONES SIMPLES
CONECTORES LOGICOS
“si” (→) , “Y” (Ʌ), “si y solo si” (↔), “Entonces” (→)
LENGUAJE SIMBOLICO
(p → q) Ʌ (r) ↔( p → q )
TABLA DE VERDAD
6
P q r (p → q) Ʌ (r) ↔ (p → q)
1 V V V V
2 V V F F
3 V F V v
4 V F F v
5 F V V V
6 F V F F
7 F F V V
8 F F F F
D. Expresión simbólica
P1: (p ∨ q)
P2: (p → ~r)
P3: (q → ~r)
CONCLUSION ~r
UTILIZADA (MTT)
4)Problemas de aplicación
Expresión simbólica:
Demostración
P3: (p →r)
ADJUNCION (LA)
8
9
Conclusiones
En conclusión, se logra obtener los conocimientos sobre este tema con la realización de las
actividades, reconociendo la importancia que tiene este tema, se reconoce las diferencias y
relación que tienen los conectores, el lenguaje simbólico, leguaje natural, para la realización de
tablas de verdad haciendo énfasis en el estudio de las mismas para lograr dominar y poner en
practica el tema.
10
Referencias Bibliográficas
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59
• Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). [Objeto Virtual de Aprendizaje
https://repository.unad.edu.co/handle/10596/37836
UNAD. https://repository.unad.edu.co/handle/10596/31590