525
edits
Changes
m
no edit summary
* [[Relação de consequência]]
* [[Relação de compatibilidade]]
* [[Semântica formal para a Lógica Proposicional Clássicalógica proposicional]]* [[Semântica formal para a Lógica lógica de Primeira Ordem Clássicaprimeira ordem]]
== Links externos ==
*