Aula 8 - Tabelas de Verdade
Clique nos títulos abaixo para assistir apenas aos trechos correspondentes.
Apresento esta como a aula mais importante do curso. Explico que utilizaremos as tabelas de verdade como ferramenta definitiva para cumprir a promessa inicial da lógica: avaliar se um argumento é válido ou inválido dentro do sistema verofuncional.
[01:32] – Versões Verofuncionais dos Conceitos Semânticos
Introduzo as versões técnicas e precisas dos conceitos que estudamos informalmente. Explico que a "verdade necessária" se torna tautologia, a "falsidade necessária" torna-se contradição, e a "validade" é analisada através da sustentação (ou acarretamento). Substituo a noção geral de "situação" pela noção técnica de valoração.
[05:06] – Revisão da "Tabuada" Lógica
Recapitulo rapidamente as tabelas características da conjunção, disjunção, condicional, bicondicional e negação. Deixo essa "colinha" disponível para consulta, pois ela funciona como a base para todos os cálculos que realizaremos a seguir.
[08:04] – Construção de uma Tabela de Verdade: Passo a Passo
Ensino como construir a tabela para uma sentença qualquer (ex: (H ∧ I) → H). Demonstro como identificar as letras sentenciais, calcular o número de combinações possíveis e, fundamentalmente, identificar o conectivo principal para determinar a ordem correta das operações.
[15:58] – Exemplo de Sentença Complexa com uma Letra
Analiso uma fórmula extensa e cheia de operadores, mas que contém apenas uma letra sentencial (C). Mostro que, apesar da aparência complexa, o cálculo é simples, pois exige apenas duas linhas (verdadeiro e falso), desde que se respeite a hierarquia dos parênteses e colchetes.
[22:45] – Tabelas com Múltiplas Letras: A Fórmula 2n
Apresento a regra matemática para determinar o tamanho de uma tabela: o número de linhas é sempre 2 elevado ao número de letras sentenciais (n). Explico que uma tabela com 3 letras terá 8 linhas, enquanto uma com 10 letras teria 1024, ressaltando que computadores lidam melhor com tabelas muito grandes.
[27:17] – O Método de Preenchimento das Linhas
Ensino um "macete" prático para organizar todas as combinações de V e F sem repetir ou esquecer nenhuma: começo pela última letra à direita alternando de 1 em 1, passo para a seguinte alternando de 2 em 2, depois 4 em 4, e assim sucessivamente.
[35:06] – Exemplo Prático com Hierarquia de Operadores
Realizo o preenchimento completo de uma tabela para uma fórmula com negação externa. Demonstro como as contas são feitas de "dentro para fora" dos parênteses até chegar ao conectivo principal, que define o valor final da sentença para cada valoração.
[41:51] – Valorações e Grupos de Situações
Explico que cada linha da tabela (uma valoração) representa, na verdade, um grupo de infinitas situações que compartilham os mesmos valores de verdade para as letras sentenciais. Ao analisar todas as linhas, estamos esgotando todas as possibilidades lógicas do mundo.
[48:52] – Definições de Tautologia e Contradição
Defino tautologia como a sentença que é verdadeira em todas as valorações e contradição como a que é falsa em todas. Discuto a relação desses conceitos com as verdades e falsidades necessárias da linguagem natural, mostrando que nem toda verdade necessária é uma tautologia.
[58:25] – Contingência, Equivalência e Satisfação
Apresento a contingência (sentença que varia entre V e F), a equivalência tautológica (sentenças com colunas idênticas) e a satisfação conjunta (quando existe ao menos uma linha onde todas as sentenças são verdadeiras simultaneamente).
[1:16:03] – A Noção de Sustentação (Acarretamento)
Chego ao ponto crucial: a definição verofuncional de validade. Explico que um conjunto de premissas sustenta uma conclusão se não houver nenhuma valoração (linha) na qual as premissas sejam todas verdadeiras e a conclusão seja falsa.
[1:24:49] – Avaliando Argumentos com Tabelas de Verdade
Aplico a técnica de sustentação para provar por que o argumento do "mordomo e jardineiro" é sustentável e por que o argumento do "motorista e babá" é insustentável. Demonstro como identificar visualmente a "linha do contraexemplo" em uma tabela.
[1:30:43] – Relação entre Sustentabilidade e Validade
Discuto o "casamento" entre esses conceitos. Explico que todo argumento sustentável é válido, mas nem todo argumento válido é sustentável pela lógica verofuncional (como no caso de "Marcos é solteiro / Marcos não é casado"), pois o sistema não consegue "olhar dentro" dos fatos.
[1:38:33] – Conclusão e o Poder da Lógica Verofuncional
Finalizo destacando que, embora a lógica verofuncional não resolva todos os problemas da filosofia, ela possui um poder fantástico para avaliar uma quantidade impressionante de argumentos de forma mecânica e precisa. Comparo-a à aritmética dentro da matemática e convido os alunos à prática dos exercícios.