Questões sobre Tautologia, Contradição e Contingência

Ao chegar em um planetário, Carlos observou a seguinte frase:
“Há mais planetas além do que conhecemos.”
Depois de pensar bastante sobre as estruturas lógicas que constituem tal frase, chegou à conclusão que se trata de uma:

A proposição lógica é definida como toda oração que declare algo, podendo ser valorada como verdadeira ou falsa. Assim, uma proposição do tipo P ? ~(~P) ? ~P pode ser classificada como uma

A proposição lógica é definida como toda oração que declare algo, podendo ser valorada como VERDADEIRA ou FALSA.
Assim, uma proposição do tipo P ? ~(~P) V ~P pode ser classificada como uma:

Qual das alternativas apresenta uma tautologia? 

A proposição composta que representa uma tautologia é a que está indicada na alternativa: