Escribe con símbolos cada enunciado, a partir de las siguientes proposiciones?

Definición de preposiciones simples :

p : Las estrellas emiten luz

q : Los planetas reflejan la luz

r : Los planetas giran alrededor de las estrellasLenguaje natural de la exposición formal

p →q∧ r : Si las estrellas emiten luz, entonces los planetas la reflejan y giran alrededor de ellasp∨q∧r : Las estrellas emiten luz o los planetas la reflejan y, por otra parte, los planetas giran alrededor de ellas.

(q⇔ p∧ r) : Los planetas reflejan luz si y solo si las estrellas la emiten, y los planetas giran alrededor de estasGenerar Tabla de la Verdad.

{[p →q∧ r] ∧ [ p∨q∧r]→

(q⇔ p∧ r) }

Definir si el argumento es : Tautología, Contingencia o contradicción

El argumento es tautologia.