Question

Métodos para probar la validez de un argumento



A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio




. Expresión simbólica: [(p⋀¬q)⋀( p→ q)] → (¬p)


Premisas:


P1: p⋀¬q


P2: p → q


Conclusión: ¬p


A partir de la expresión simbólica seleccionada, el estudiante deberá:


 Definir las proposiciones simples, tendrá la libertad de definir la bajo

una descripción basada en un contexto


p: Carlos estudia en la UNAD


q: La UNAD es una Universidad Pública


Demostración de la validez del argumento mediante las leyes de la

inferencia lógica

Answer 1

Respuesta.

Para resolver este problema en primer lugar se deben definir las preposiciones simples, las cuales son:

p: ir en motocicleta

q: aumentar la velocidad

r: llego temprano a la Universidad

Lenguaje natural de la exposición formal

p ∧ q : Si voy en motocicleta y aumento la velocidad  

p ∧ q Si voy en motocicleta entonces llego temprano a la Universidad

Luego se procede a generar la tabla de la verdad, la cual es:

p ∧ q ∧ p ∧ q

Definir si el argumento es: Tautología, Contingencia o contradicción

El argumento es contingencia.