p: El transporte público en Colombia tiene vida útil de 20 años.
q: Los taxis son transporte privado.
r: Las chivas son patrimonio cultural colombiano
[(p→q)↔(p∧r)]
Respuestas
El argumento [(p→q)↔(p∧r)] es contradicción
Explicación paso a paso:
Definición de preposiciones simples:
p: El transporte público en Colombia tiene vida útil de 20 años.
q: Los taxis son transporte privado.
r: Las chivas son patrimonio cultural colombiano
Lenguaje natural de la exposición formal
p→s : El transporte público en Colombia tiene vida útil de 20 años entonces los taxis son transporte privado.
p∧r: El transporte público en Colombia tiene vida útil de 20 años y las chivas son patrimonio cultural colombiano
Conclusión:
[(p→q)↔(p∧r)]: El transporte público en Colombia tiene vida útil de 20 años entonces los taxis son transporte privado si entonces si El transporte público en Colombia tiene vida útil de 20 años y las chivas son patrimonio cultural colombiano
Generar Tabla de la Verdad.
[(p→q)↔(p∧r)]
p q r ((q→q)↔(p∧r))
v v v V
v v f F
v f v V
v f f F
f v v F
f v f F
f f v F
f f f F
Definir si el argumento es: contradicción