525
edits
Changes
Semântica formal para a Lógica Proposicional Clássica (view source)
Revision as of 23:12, 2 September 2020
, 23:12, 2 September 2020no edit summary
== Para reflexão ==
* Como comprovar que a relação de consequência associada à semântica da Lógica Clássica é invariante por substituição?
== Veja também ==