Raciocínio lógico: proposições, conectivos e tabela-verdade

A lógica matemática aplica a lógica formal à matemática e se relaciona com os fundamentos da matemática e a ciência da computação teórica. Entre seus conceitos estão as proposições, os conectivos que as unem e a tabela-verdade, usada para determinar o valor lógico de uma expressão.

O que é uma proposição?

Proposição é uma sentença declarativa que expressa uma ideia e pode receber apenas um de dois valores: verdadeiro ou falso. Ela segue três princípios:

• Identidade: uma proposição é igual a ela mesma.
• Não-contradição: uma proposição não pode ser verdadeira e falsa ao mesmo tempo.
• Terceiro excluído: uma proposição é verdadeira ou falsa.

“O cachorro é um animal” é uma sentença com valor lógico verdadeiro. Perguntas, exclamações e ordens não são proposições, porque não podem ser classificadas como verdadeiras ou falsas. A frase “Esta sentença não é verdadeira” também não é uma proposição.

Quais são os principais conectivos lógicos?

Uma proposição composta surge quando proposições simples são unidas por um conectivo. É o conectivo que determina o valor lógico da expressão. Entre os principais estão:

• Negação (~): inverte o valor lógico. Se p é verdadeira, ~p é falsa; se p é falsa, ~p é verdadeira.
• Conjunção, “e” (^): resulta em verdadeiro somente quando todas as proposições são verdadeiras.
• Disjunção, “ou” (V): resulta em verdadeiro quando pelo menos uma das proposições é verdadeira.
• Condicional, “se, então” (→): une proposições e tem resultado falso em apenas uma das possibilidades.
• Bicondicional, “se, e somente se” (↔): resulta em verdadeiro quando os valores lógicos das proposições são iguais.
• Ou exclusivo: significa “um ou outro, mas não ambos”.
• Negação conjunta (↓): equivale a ¬(p V q), ou seja, à negação de duas proposições ligadas pelo “ou”. Também é chamada de NOR.
• Negação disjunta (↑): equivale a ¬(p ^ q), a negação de duas proposições ligadas pelo “e”. Também é chamada de NAND.

Na expressão “(2 + 2 = 4) V (1 < 4)”, as duas proposições são verdadeiras. Por isso, o resultado da disjunção também é verdadeiro. Já em “Cachorro é um felino ^ (1 > 0)”, a primeira proposição é falsa e a segunda é verdadeira; como se trata de uma conjunção, o resultado é falso.

Qual a diferença entre condicional e implicação?

O condicional (→) é uma operação entre proposições que produz uma nova proposição. A implicação (=>), por sua vez, indica uma relação entre proposições dadas: p implica q quando, na tabela-verdade, não ocorre a combinação 1 e 0 nessa ordem, correspondente a p verdadeiro e q falso.

Como montar uma tabela-verdade?

A tabela-verdade organiza os valores lógicos possíveis de uma proposição composta. Para construí-la:

1. Conte quantas proposições simples, ou variáveis, aparecem na expressão.
2. Calcule 2 elevado ao número de variáveis. O resultado corresponde ao número de linhas, pois cada proposição pode ser verdadeira ou falsa.
3. Na primeira coluna, preencha metade das linhas com V e a outra metade com F.
4. Na segunda coluna, alterne V e F.
5. Preencha as combinações possíveis e avalie o conectivo em cada linha.

Com duas variáveis, p e q, são necessárias quatro linhas, pois 2² é igual a 4. Na conjunção p ^ q, o resultado é verdadeiro quando p e q são ambas verdadeiras.

Como usar parênteses e a ordem dos operadores?

Quando uma expressão tem vários operadores, os parênteses indicam qual parte deve ser resolvida primeiro. Por isso, são importantes para organizar a leitura da expressão. Por exemplo, é possível escrever (P ^ Q) V R ou P ^ (Q V R).

O que são tautologia, contradição e contingência?

Uma expressão com todos os valores lógicos possíveis pode ser classificada como tautologia, contradição ou contingência. A tautologia é uma proposição cujo resultado final é sempre verdadeiro.

Qual é a origem da lógica matemática?

A lógica foi estudada desde a Antiguidade. Aristóteles elaborou a estrutura da argumentação e definiu a lógica com base no silogismo. A lógica matemática surgiu em meados do século XIX como um sub-ramo da matemática. George Boole e, posteriormente, Augustus De Morgan apresentaram tratamentos matemáticos sistemáticos. Em 1879, Gottlob Frege publicou um desenvolvimento independente da lógica com quantificadores.

Perguntas frequentes

O que é uma proposição em lógica?

É uma sentença declarativa que pode receber apenas um de dois valores: verdadeiro ou falso. Perguntas, exclamações e ordens não são proposições.

Quantas linhas tem uma tabela-verdade com duas proposições?

São quatro linhas, resultado de 2 elevado a 2. O número de linhas depende do número de variáveis e corresponde a 2 elevado a esse número.

Qual a diferença entre condicional e implicação?

O condicional (→) é uma operação que forma uma nova proposição.

O que é uma tautologia?

É uma proposição cujo resultado final é sempre verdadeiro.

Por que os parênteses são importantes?

Em expressões com vários operadores, os parênteses indicam a ordem em que as partes devem ser resolvidas.

Informações conferidas em 8 de novembro de 2026.