Question

Suponhamos que um sistema lógico L satisfaça o Princípio do Terceiro excluído. Seja “E” um enunciado de L, e “não-E” sua negação. Está correto dizer que:

Escolha uma:
a. Se E não pode ser deduzido como enunciado válido de L, então deve ser possível deduzir não-E como enunciado válido de L.
b. Se E pode ser deduzido como enunciado válido de L, então não-E não pode ser deduzido como enunciado válido de L.
c. O enunciado não-E sempre pode ser deduzido como enunciado válido de L.
d. O enunciado E sempre pode ser deduzido como enunciado válido de L.

Answer 1

Letra A... já fiz e acertei.