Proposições, conectivos e tudo mais que aparece na disciplina
Achei que todo mundo já sabia disso, mas vejo gente confundindo as mesmas coisas há anos. Vou tentar ser direto sobre o que realmente importa na prática, porque a teoria que os livros passam deixa muitos detalhes de fora. Uma proposição é simplesmente uma afirmação que tem valor de verdade — ou verdadeira ou falsa, sem ter opção. "O número 7 é ímpar" é uma proposição verdadeira. "Feche a porta" não é, porque não afirma nada que possa ser verdadeiro ou falso. Isso parece óbvio até você se deparar com uma sentença aberta como "x > 5", que depende do valor de x. Aí entra a necessidade dos predicados, que são justamente expressões com variáveis que se tornam proposições quando você atribui um valor.
Como usar lógica proposições conectivos equivalências lógicas quantificadores e predicados sem perder a cabeça
Os conectivos são só quatro ou cinco que você realmente usa no dia a dia: negação, conjunção, disjunção, condicional e bicondicional. A pegadinha que quase todo mundo leva é achar que a condicional "se p então q" é a mesma coisa que uma relação de causalidade. Não é. É só uma tabela-verdade. P pode ser "chove" e Q pode ser "2+2=5", e a condicional ainda vai ter valor lógico definido sem qualquer conexão real entre os dois. As equivalências lógicas são onde a coisa fica útil de verdade. Distributividade, De Morgan, contrapositiva — isso permite transformar fórmulas de um jeito que facilita a prova ou a refutação. A equivalência mais negligenciada pelos iniciantes é a da contrapositiva: "se p então q" é logicamente equivalente a "se não q então não p". Todo mundo decora, mas na hora de construir uma demonstração muitos continuam tentando provar o original quando a contrapositiva seria muito mais direta.
👉 Clique no botão abaixo para saber mais sobre o assunto!
Sobre os quantificadores, a confusão clássica é entre "para todo" e "existe". A ordem importa quando você mistura os dois. "Para todo x existe y tal que x+y=0" é verdade nos reais. "Existe y tal que para todo x, x+y=0" é mentira, porque não tem um único y que funciona para todos os x. Já vi gente errar questões de concursos por não prestar atenção nessa inversão de escopo. Na prática, eu costumava usar tabelas-verdade para verificar equivalências. Funciona bem para duas ou três variáveis, mas a partir de quatro variáveis a tabela cresce demais — 16 linhas, depois 32, 64 — e o erro de digitação ou leitura passa a ser frequente. O método que eu adotei foi usar álbegos de equivalências conhecidas: substituir passo a passo, verificando cada transformação. Fica mais lento no começo, mas elimina o risco de erro que acontece quando você tenta confiar só na tabela.
Um problema específico que eu enfrentava era com a negação de quantificadores duplos. A regra de De Morgan para quantificadores é simples no papel — "não para todo" vira "existe não" e vice-versa —, mas na hora de aplicar em enunciados longos, eu frequentemente invertia a ordem dos quantificadores por impulso. A workaround que funcionou foi escrever sempre a forma normalizada antes de negar, isolando o quantificador mais externo primeiro e trabalhando internamente. Sem isso, o erro era quase certo em problemas com três ou mais quantificadores. Outro detalhe que os manuais raramente destacam: a diferença entre argumentação válida e argumento sonoro. Validade é só sobre a forma — se as premissas forem verdadeiras, a conclusão obrigatoriamente é. Sonsoriedade exige que as premissas sejam de fato verdadeiras também. Você pode ter um argumento perfeitamente válido com premissas absurdas, e isso é algo que muita gente não absorve direito nas primeiras aulas.
Para exercícios de equivalência, a dica mais pragmática que encontrei foi: quando duas fórmulas parecem diferentes mas precisam ser comparadas, tente transformar ambas para uma forma normal — conjuntiva ou disjuntiva — e aí a equivalência fica mais fácil de ver. Não é mágica, é só sistematicidade. E no caso de quantificadores sobre domínios finitos, às vezes vale a pena expandir tudo explicitamente, mesmo que fique verboso. Em domínios infinitos, isso não funciona, e aí você depende mesmo das regras de inferência. O ponto que menos gosto de ver repetido é a ideia de que lógica é só um jogo sintático sem significado. Ela ganha significado quando você aplica aos de interpretação, que são estruturas que atribuem extensão aos predicados e definem o domínio. Sem essa camada, a lógica fica no vácuo. Na minha experiência, entender modelo-interpretação é o que separa quem sabe manipular símbolos de quem consegue de fato usar a lógica como ferramenta de raciocínio.
