525
edits
Changes
Jump to navigation
Jump to search
Semântica formal para a Lógica Proposicional Clássica (view source)
Revision as of 01:08, 20 September 2020
, 01:08, 20 September 2020no edit summary
* '''Consequência semântica''' para a Lógica Proposicional Clássica<!--
--><p>[VIDEO]</p>
* '''Congruencialidade''': Teorema Meta-teorema de Substitutividade de Equivalentes (EN: ''replacement theorem''), verificado pela via semântica<!--
--><p>[VIDEO]</p>
