--><p>{{#ev:youtube|ZqQ_tspmQRQ}}</p>
* Da '''validade de sequentes''' e da '''correção de regras'''<!--
--><p>[VIDEO]{{#ev:youtube|bIxOFR0elFo}}</p>
* Da '''validade de fórmulas'''<!--
--><p>[VIDEO]{{#ev:youtube|GUh5XOjgsWw}}</p>
== Para reflexão ==