Please enable JavaScript.

Coggle requires JavaScript to display documents.

Lógica (O que é? (Ramo de conhecimento que estuda sistemas lógicos…

- - - - Sistema Lógico mais antigo
        
        Silogística
        
        Enunciados da Silogística
        
        Nenhum X é Y
        
        Alguns X são Y
        
        Todos X são Y
        
        Alguns X não são Y
      - Problemas nos Sistemas Lógicos
        
        Simbolização
        
        Propriedade relacionada
        
        EXPRESSIVIDADE, ou seja, a caracterização do tipo de informação que pode ser representada pelos enunciados
        do sistema e, consequentemente, do tipo que não pode
        
        Equivalência
        
        Propriedade relacionada
        
        Decidir se os dois enunciados
        representam, ou não, a mesma informação
        
        Validade
        
        Propriedade relacionada
        
        DECIDIBILIDADE, ou seja,
        a classificação do sistema como possuindo, ou não, um método implementável em
        um computador
        
        Demonstração
        
        Propriedade relacionada
        
        COMPLETUDE e CORRETUDE
      - É constituído em duas partes
        
        Grupo bem especificados de objetos, chamados Enunciados (Preposições ou Sentenças)
        
        Relação bem especificada entre enunciados, chamada Relação de Consequencia
      - Todo sistema lógico deve corresponder, pelo menos, três partes:
        
        Relação de consequência
        
        Linguagem
        
        Mecanismo de inferência
      - Tipos básicos de sistemas lógicos
        
        Lógica Sentencial
        
        Lógica Equacional
        
        Lógica de Primeira Ordem
        
        Lógica Monádica de 2ª Ordem
        
        Lógica de Segunda Ordem
- - - - Representação da informação “prévia”, em uma linguagem adequada
      - Aplicação de mecanismos de processamento a informação representada, para a obtenção da informação “nova”