A condicional p ⇒ (q ⇒ p) será sempre uma tautologia.

Uma tautologia é uma proposição que é verdadeira para qualquer combinação de valores lógicos das proposições componentes. Na condicional em questão, temos que, se p for verdadeira, então a conclusão q ⇒ p também será verdadeira, pois qualquer implicação com uma premissa verdadeira é verdadeira, independentemente do valor lógico da conclusão. Se p for falsa, então a premissa p ⇒ (q ⇒ p) será verdadeira por definição de implicação, pois uma implicação com premissa falsa é sempre verdadeira. Portanto, a condicional p ⇒ (q ⇒ p) será sempre uma tautologia.