Open main menu

Changes

35 bytes removed ,  12:45, 6 October 2020
no edit summary
* [[Relação de consequência]]
* [[Relação de compatibilidade]]
* [[Semântica formal para a lógica proposicional]]
* [[Semântica formal para a lógica de primeira ordem]]