Please enable JavaScript.

Coggle requires JavaScript to display documents.

Lógica (Principais sistemas (Lógica Monádica de Segunda Ordem, Lógica de…

- - - - Em termos gerais, os sistemas lógicos são usados para modelar duas coisas: (1) pedaços de informação e (2) a passagem de uma dada gama de informações para uma outra informação.
        
        (1) um grupo bem especificado de objetos, chamados enunciados (ou proposições ou sentenças);
        
        (2) uma relação bem especificada entre enunciados, chamada relação de consequência (ou de acarretamento ou de implicação), que determina quando um enunciado pode ser obtido a partir de outros, de uma maneira lógica.