Changes

Jump to navigation Jump to search

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

Revision as of 21:29, 3 September 2020

2 bytes added ,  21:29, 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 ("''replacement"''), pela via semântica<!--
--><p>[VIDEO]</p>
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1120"

Navigation menu