Open main menu

Changes

m
no 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'''<!--