Resumo

Ao final desta Unidade será completa a compreensão da aplicação da Lógica das Proposições no desenvolvimento de circuitos lógicos digitais, que, por sua vez, é um elemento relevante ao estudo da arquitetura dos computadores.

O primeiro passo é compreender que os conectivos/operações das proposições lógicas correspondem às chamadas portas lógicas das expressões lógicas que representam os circuitos digitais.

Sendo assim, a correspondência com tal segmento da arquitetura de computadores é iniciada pela relação existente entre Proposição Lógica e Expressão Lógica, conforme consolidado a seguir:

No quadro acima está também presente a aplicação do estudo de tabela verdade, uma importante ferramenta de interpretação de valores lógicos, que agora sabemos que é usada não apenas na análise de sentenças e pensamentos humanos, mas também na análise e validação de circuitos lógicos digitais.