Neste vídeo apresentamos os tablôs proposicionais e os empregamos como ferramentas eficientes para verificar se uma sentença proposicional é, ou não, uma tautologia.

Para lista de exercícios referente a esse vídeo, clique aqui

Neste vídeo empregamos os tablôs proposicionais como ferramentas eficazes para avaliar se uma sentença é, ou não, consequência lógica de uma coleção finita de premissas.

Para lista de exercícios referente a esse vídeo, clique aqui

Neste vídeo estabelecemos, através de exemplos, uma relação entre as linhas falsas de uma tabela de verdade e os ramos abertos de tablô proposicional.

Neste vídeo estabelecemos, através de exemplos, como empregar tablôs proposicionais para estabelecer as condições que tornam uma sentença proposicional verdadeira ou falsa. Discutimos também tablôs no contexto de outras lógicas.