525
edits
Changes
Jump to navigation
Jump to search
Relação de consequência (view source)
Revision as of 01:53, 21 September 2020
, 01:53, 21 September 2020vídeo adicionado
--><p>Acima, também: '''operação de consequência''', '''teoria''', '''finitariedade''', '''invariância por substituição'''</p>
* Noção de '''equivalência lógica'''<!--
--><p>[VIDEO]{{#ev:youtube|Et_hGh-XLnM}}</p>
* '''Congruencialidade''': enunciado e significado do Meta-teorema de Substitutividade de Equivalentes (EN: ''replacement theorem'')<!--
--><p>{{#ev:youtube|fw8t7Kju3gI}}</p>
== Para reflexão ==
* Quando podemos dizer que duas ''teorias'' (em uma mesma linguagem) são logicamente equivalentes?
== Veja também ==
