Question

[(p∧q)⟷(∼r ⋀ s)] Como puedo hacer la tabla de verdad de esta expresión y pasarla a lenguaje natural?

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