Tarea 2 – Métodos para probar validez de argumentos

Ejercicio 2.

Presentado por:

Astrid Daniela Acosta Ortega.

Curso 90004 – Lógica Matemática

Tutor:

Romario José Palacio

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Agrícolas, Pecuarias y

del Medio Ambiente - ECAPMA

Programa de Agronomía

Popayán

2020
E.
Expresión simbólica: {[ p → ( q ∧r ) ]∧ ( q ∧r ) }→ p

Premisas:
P1: p → ( q ∧ r )
P2:( q ∧ r )
A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla

bajo una descripción basada en un contexto, el que se solicita es
un contexto académico: Premisas:  

 P1:(p→q)∨r: Si voy en motocicleta entonces aumento la velocidad

o llego temprano a la universidad

 P2: (r→∼p): Si llego temprano a la Universidad entonces no voy

en motocicleta

 P3: p∧s: Voy en motocicleta y pierdo el examen

 Conclusión:

 q∧p: aumento la velocidad y pierdo el examen

 Generar Tabla de la Verdad.

 [((p→q)∨r)∧((r→∼p)∧(p∧s)]→(q∧p)

 Definir si el argumento es: Tautología, Contingencia o

contradicción
 El argumento es Tautología.
 Generar una tabla de verdad con el simulador Lógica UNAD a
partir del lenguaje simbólico:
Generar Tabla de la Verdad.
[((p→q)∨r)∧((r→∼p)∧(p∧s)]→(q∧p)