Changes

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

12 bytes added , 22:00, 3 September 2020

m

no edit summary

* '''Consequência semântica''' para a Lógica Proposicional Clássica<!--

--><p>[VIDEO]</p>

* '''Congruencialidade''': Teorema de Substitutividade de Equivalentes (EN: ''replacementtheorem''), pela via semântica<!--

--><p>[VIDEO]</p>

525

edits