A continuación, encontrará los argumentos para el desarrollo del ejercicio 1 :p : El Deportes Tolima fue el campeón en el periodo 2018 - Iq : Nacional fue sub campeón en el torneo 2018 - I(p⋀q)↔[(p⋁¬q?

Definición de preposiciones simples :

p : El Deportes Tolima fue el campeón en el periodo 2018 - I q : Nacional fue sub campeón en el torneo 2018 - ILenguaje natural de la exposición formal

(p⋀q)↔[(p⋁¬q)→p] : Si El Deportes Tolima fue el campeón en el periodo 2018 - I y Nacional fue sub campeón en el torneo 2018 - I si y solos si El Deportes Tolima fue el campeón en el periodo 2018 - I o el Nacional No fue sub campeón en el torneo 2018 - I entonces El Deportes Tolima fue el campeón en el periodo 2018 - I

Generar Tabla de la Verdad.

(p⋀q) (p⋁¬q) p (p⋀q)↔[(p⋁¬q)→p] : V V V V

V F V VF F V FF F F FDefinir si el argumento es : Tautología, Contingencia o contradicción

El argumento es Tautologia.