Please enable JavaScript.

Coggle requires JavaScript to display documents.

LÓGICA (Principais Sistemas (Lógica Sentencial (ou Proposicional), Lógica…

- - - - como podemos representar os enunciados de uma dada linguagem
    - - Dados dois enunciados do sistema, eles são a mesma coisa dita de duas maneiras diferentes ou eles realmente representam duas informações distintas?
    - - Decidível
        
        consequencia pode ser avaliada por meio de
        um programa de computador
      - sua resolução já é dada na definição da relação de consequência
      - Indecidível
        
        consequencia não pode ser avaliada por meio de
        um programa de computador
    - - Correto
        
        o Metodo comprova ⇒ é consequencia
      - Completo
        
        é consequencia ⇒ o Método comprova
  - - - Contem enunciados (proposiçõoes, sentenças) por meio
        dos quais informações expressas em outras linguagens podem ser representadas
    - - Critério que determina quando um enunciado segue logicamente de outros enunciados
    - - Comprovar que um enunciado é consequência lógica de outros
- - - - Obtenção de nova informação a partir de informações prévias por meio de recursos que podem ser controlados e automatizados, ou seja, implementados em um computador.