Question

Em relação ao sistema de cálculo proposicional exposto em nosso curso, está correto afirmar que: escolha

uma: a. nele, o conceito de proposição é um conceito decidível; nele, o conceito de teorema é um conceito decidível; o sistema é logicamente completo, pois permite derivar todas as proposições válidas da lógica. b. nele, o conceito de proposição diz respeito a uma classe especial de expressões da linguagem; nele, o conceito de teorema diz respeito a uma classe especial de proposições da linguagem; o sistema é sintaticamente completo, pois permite derivar todas as proposições. c. nele, o conceito de proposição é determinado por meio das regras de formação; nele, o conceito de teorema é determinado por meio das regras de inferência; o sistema é descritivamente completo, pois permite descrever todas as situações possíveis. d. nele, o conceito de proposição, determinado por meio das regras de formação, é um conceito decidível que diz respeito a uma classe especial de expressões da linguagem; nele, o conceito de teorema, determinado por meio das regras de inferência, é um conceito decidível que diz respeito a uma classe especial de proposições da linguagem; o sistema é semanticamente completo, pois nele o conceito sintático de demonstração coincide com o conceito semântico de verdade.

1 Resposta

Clique aqui para adicionar a sua resposta.

alexandre704 · Answer 1 · 2015-10-05 23:31:57

alexandre704

05/10/2015

Letra D correta. Obrigada!

1 Resposta

Mais perguntas de Filosofia

Categorias