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.