Question

B.[(p∧q)⟷(∼r ⋀ s)]
A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado 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 considerará como copia y se tomarán las medidas correctivas estipuladas por la UNAD.
• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica UNAD, 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).
• Definir si el argumento seleccionado inicialmente es una tautología, contradicción o contingencia

Answer 1

El argumento es una contradicción porque tiene valores de verdad falsos y verdaderos

Explicación paso a paso:

Definición de preposiciones simples:  

p: ir en motocicleta  

q: aumentar la velocidad  

r: llegar temprano a la Universidad  

s: gastar mas combustible  

Lenguaje natural de la exposición formal  

p∧q: Voy en motocicleta y aumento la velocidad

¬r∧s:  No llego temprano a la Universidad  y gasto mas combustible

(p∧q)]↔(¬r∧s) : Voy en motocicleta y aumento la velocidad  si y solo si  No llego temprano a la Universidad  y gasto mas combustible

Tabla de Verdad:

(p∧q)]↔(¬r∧s)

p q r s (p^q) (~r) ((~r)^s) (((p^q))↔(((~r)^s)))

F F F F F              V F V

F F F V F              V V F

F F V F F               F F V

F F V V F                F F V

F V F F F              V F V

F V F V F              V V F

F V V F F               F F V

F V V V F                F F V

V F F F F               V F V

V F F V F              V V F

V F V F F               F F V

V F V V F               F F V

V V F F V              V F F

V V F V V              V V V

V V V F V               F F F

V V V V V                F F F

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

El argumento es una contradicción porque tiene valores de verdad falsos y verdaderos