Open main menu

Changes

m
no edit summary
== Veja também ==
* [[Correção e completude]]
* [[Dedução Natural para a Lógica Proposicional Clássica]]
* [[Semântica formal para a Lógica Proposicional Clássica]]