525
edits
Changes
Relação de consequência (view source)
Revision as of 01:09, 20 September 2020
, 01:09, 20 September 2020no edit summary
--><p>Também: '''operação de consequência''', '''teoria''', '''finitariedade''', '''invariância por substituição'''</p>
* Noção de '''equivalência lógica'''<!--
--><p>[VIDEO]</p>
* '''Congruencialidade''': enunciado e significado do Meta-teorema de Substitutividade de Equivalentes (EN: ''replacement theorem'')<!--
--><p>[VIDEO]</p>
* Noções de '''inconsistência'''<!--