Changes

Semântica formal para a Lógica Proposicional Clássica (view source)

56 bytes added , 13:18, 6 October 2020

no edit summary

* [[Exercícios de semântica formal para a Lógica Proposicional Clássica]]

* [[Correção e completude para a Lógica Proposicional Clássica]]

* [[Introdução Computacional à Lógica Matemática]]

== Links externos ==

* [https://pt.wikipedia.org/wiki/%C3%81lgebra_booliana Álgebra de Boole]

525

edits