525
edits
Changes
Jump to navigation
Jump to search
* [[Relação de compatibilidade]]
no edit summary
* [[Relação de consequência]]
* [[Semântica formal para a lógica proposicional]]
* [[Semântica formal para a lógica de primeira ordem]]
