Open main menu

Changes

86 bytes added ,  20:03, 30 August 2020
m
no edit summary
(This entry is * [[Semântica formal para a stub.)Lógica Proposicional]]* [[Semântica formal para a Lógica de Primeira Ordem]]
== Para reflexão ==