Changes

Jump to navigation Jump to search

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

Revision as of 22:00, 3 September 2020

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>
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1133"

Navigation menu