[(p∧q)⟷(∼r ⋀ s)] definir las proposiciones simples y pasarlo al lenguaje natural en un contexto académico y generar una tabla de verdad apartir del lenguaje simbólico. quien me puede ayudar por favor con esta tarea.
Respuestas a la pregunta
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∧s)
v v v v F
v v v f F
v v f v V
v v f f F
v f v v V
v f v f V
v f f v F
v f f f V
f v v v V
f v v f V
f v f v F
f v f f V
f f v v V
f f v f V
f f f v F
f f f f V
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