About this document

Contribuições de Boole na Lógica Proposicional by Fer Castor is a document available to read on EtoBox.

O documento aborda diferentes tipos de lógica, destacando a lógica clássica e não clássica, suas aplicações em computação e a importância da lógica modal. Ele menciona a evolução da lógica desde a Grécia Antiga até sua relevância atual na inteligência computacional. Além disso, discute a formalização de argumentos e a utilização de linguagens de programação específicas como LISP e Prolog.

Author

Fer Castor

Language

PT