525
edits
Changes
Semântica formal para a Lógica Proposicional Clássica (view source)
Revision as of 00:39, 24 September 2020
, 00:39, 24 September 2020vídeo adicionado
* '''Consequência semântica''' para a Lógica Proposicional Clássica<!--
--><p>[VIDEO]{{#ev:youtube|sS-teSnboTU}}</p>
* '''Congruencialidade''': Meta-teorema de Substitutividade de Equivalentes (EN: ''replacement theorem''), pela via semântica<!--
--><p>{{#ev:youtube|HG0uRcIw11U}}</p>