Changes

Semântica formal para a Lógica Proposicional Clássica (view source)

127 bytes added , 23:12, 2 September 2020

m

no 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 ==

525

edits