Question

. Expresión simbólica: [(p → q)⋀(p ∨ q)⋀(¬q)] → (q)
Premisas:
P1: p → q
P2: p ∨ q
P3: ¬q
Conclusión: q

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, ejemplo:
p: Carlos estudia en la UNAD
q: La UNAD es una Universidad Pública
 Remplazar las variables expresadas simbólicamente y llevarlas al
lenguaje natural. Las proposiciones simples deben ser de autoría de
cada estudiante, por lo que de encontrar proposiciones iguales entre
estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.
 Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de
recursos educativos Simulador TRUTH, en el Entorno de Aprendizaje
Práctico, así como el link de acceso al recurso)
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico (En Word, Excel o foto del desarrollo manual).
 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.

Answer 2

Respuesta:

Explicación paso a paso: [(p→q)⋀(p∨q)⋀(¬q)]→(q)

Como quedaría la tabla manual ?