Questão de Lógica de Programação
As lógicas não clássicas são sistemas que diferem da lógica padrão clássica e são divididas em lógicas complementares e lógicas alternativas. Sobre esses tipos de lógicas, assinale a opção correta.
A
Lógica complementar adiciona novos operadores à lógica clássica e lógica alternativa vai contra a lógica clássica.
B
Lógica modal atlética é um tipo de lógica alternativa.
C
Lógica complementar nega os axiomas da lógica clássica e lógica alternativa adiciona novos operadores à lógica clássica.
D
Lógica polivalente é um tipo de lógica complementar.
E
Lógica complementar adiciona novos operadores à lógica clássica, seu principal tipo é a lógica polivalente, e lógica alternativa vai contra a lógica clássica e seu principal tipo é a lógica modal atlética.
Comentários
Ainda não há comentários para esta questão.
Seja o primeiro a comentar!