Open main menu

Changes

acrescentando video
* Definição de '''relação de consequência''': versão tarskiana, unilateralista<!--
--><p>[VIDEO]{{#ev:youtube|3eEXx4HN3AM}}</p><!----><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>