Please enable JavaScript.

Coggle requires JavaScript to display documents.

Lógica (Sistemas Lógicos (Compostos pelos elementos: (ENUNCIADOS, OU …

- - - - grupo específico de objetos
    - - relação bem especificada entre
        enunciados, determinante na formação
        de um enunciado a partir de
        outros, de MANEIRA LÓGICA
    - - Ootenção de nova informação, consequência lógica dos demais enunciados;
  - - - caracterização do tipo de informação
        que pode ou não ser representada
        pelos enunciados
        
        EXPRESSIVIDADE
    - - Dedicidir se os dois enunciados representam
        ou não a mesma informação, além de verificar
        se algum, ou ambos, representam relamente
        a informação original
        
        EXPRESSIVIDADE
    - - Em sistemas lógicos de interesse prático, usualmente
        composto por linguagem matemática, pode ocorrer
        erro na sua implementação à mecanização, ou seja, é incompativel com o controle realizado pelo computador;
        
        DECIDIBILIDADE
        
        Decidível: método compatível com a impemenmtação em um computador; Deve responder acertamente em todos os casos positivos e negativos;
        
        Indecidível: método não compatível com a implementação em um computador; Pode responder erradamente à alguns casos positivos e/ou negativos;
    - - Maneira de comprovação de que a consequencia
        lógica estabelece ou não estabelece
        relação entre enunciados e conclusão.
        
        CORRETUDE
        
        Diz-se correto, o método comprovado como relação de consequência, QUANDO FOR APLICADO
        
        COMPLETUDE
        
        Diz-se completo, o método elaborado para comprovar que a relação de consequencia pode ser aplicada;