2. Tautologia, contradição, consequência e equivalência lógica

O vídeo ensina como reconhecer tautologias, contradições, consequências lógicas e equivalências lógicas em tabelas de verdade. O vídeo faz parte do curso de introdução à lógica proposicional.


00:08 Introdução a padrões e padrões na lógica
04:02 Tautologias e contradições (verdades e falsidades lógicas)
09:11 Consequência lógica (ou tautológica)
13:06 Equivalência lógica (ou tautológica)
16:59 Exercícios com correção



O vídeo foi originalmente produzido para minhas aulas no Instituto Federal Farroupilha, Campus Avançado Uruguaiana. O restante do curso está organizado em https://sites.google.com/view/logicap...