63. Assinale qual das seguintes formas sentenciais é uma tautologia. A) X ⊃ (X & Y) B) ~X & ~~X C) Y ⊃ (X ⊃ Y) D) X & (Y ∨ X) E) Y ⊃ (Y ⊃ X)

Para identificar qual das formas sentenciais é uma tautologia, precisamos verificar se ela é sempre verdadeira, independentemente dos valores de verdade das proposições envolvidas. Analisando as opções: A) X ⊃ (X & Y) B) ~X & ~~X C) Y ⊃ (X ⊃ Y) D) X & (Y ∨ X) E) Y ⊃ (Y ⊃ X) A opção correta é a letra B) ~X & ~~X. Essa forma sentencial é uma tautologia, pois a negação de uma proposição é equivalente à negação da negação da mesma proposição, ou seja, sempre será verdadeira. Espero ter ajudado! Se tiver mais alguma dúvida, é só perguntar.