Question

[(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.

Answer 1

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