Em lógica, sentenças abertas são expressões declarativas que não podem ter atribuído um valor lógico de verdadeiro ou falso. A sentença assumirá o ...

Em lógica, sentenças abertas são expressões declarativas que não podem ter atribuído um valor lógico de verdadeiro ou falso. A sentença assumirá o valor lógico verdadeiro ou falso dependendo do valor da variável. Porém, podem ser consideradas como proposições se a estas variáveis forem atribuídos valores que possibilitem que a sentença assuma valor lógico verdadeiro ou valor lógico falso.

As duas afirmacoes são proposições verdadeiras.
A segunda não é uma conclusão correta da primeira.
A) As duas afirmações são proposições verdadeiras, e a segunda não é uma conclusão correta da primeira.
B) A primeira afirmação é uma proposição verdadeira, e a segunda é uma proposição falsa.
C) A primeira afirmação é uma proposição falsa, e a segunda é uma proposição verdadeira.
D) As duas afirmações são proposições falsas.
E) As duas afirmações são proposições verdadeiras, e a segunda é uma conclusão correta da primeira.