Um argumento lógico reúne informações, chamadas premissas, para sustentar uma conclusão. A inferência é o passo do raciocínio que usamos para chegar a essa conclusão.
Porém, nem toda conclusão está garantida pelas informações apresentadas. Quando o raciocínio parece correto, mas contém um erro em sua estrutura, temos uma falácia formal.
Nesta aula, você aprenderá a identificar premissas e conclusão, verificar se um argumento é válido e aplicar as principais regras de inferência. Também entenderá a diferença entre modus ponens, modus tollens e as falácias da condicional, com exemplos e exercícios comentados.
1. O que são premissas e conclusão?
Se Ana foi nomeada, então foi aprovada.
Ana foi nomeada.
Logo, Ana foi aprovada.
As premissas são as informações das quais partimos:
- Se Ana foi nomeada, então foi aprovada.
- Ana foi nomeada.
A conclusão é a afirmação que deduzimos dessas informações: Ana foi aprovada.
Representando as proposições:
- p = “Ana foi nomeada.”
- q = “Ana foi aprovada.”
| Papel | Expressão |
|---|---|
| Premissa 1 | p → q |
| Premissa 2 | p |
| Conclusão | q |
Palavras como “logo”, “portanto” e “consequentemente” costumam apresentar a conclusão. Expressões como “pois”, “porque” e “uma vez que” podem apresentar as premissas.
A conclusão pode aparecer no início, no meio ou no final do texto.
Ana foi aprovada, pois foi nomeada e toda pessoa nomeada foi aprovada.
A conclusão continua sendo “Ana foi aprovada”, embora apareça primeiro.
2. O que é inferência lógica?
Inferência é o passo do raciocínio que permite chegar a uma conclusão a partir das informações disponíveis.
No exemplo anterior:
- Sabemos que a nomeação implica aprovação.
- Sabemos que Ana foi nomeada.
- Concluímos que Ana foi aprovada.
Esse terceiro passo é uma inferência.
Uma regra de inferência é uma forma de raciocinar que garante a conclusão quando suas premissas são verdadeiras.
Você encontrará nomes como modus ponens e modus tollens. Eles identificam regras que estudaremos adiante. O importante é compreender quais informações temos e o que podemos concluir delas.
3. Como saber se um argumento é válido ou inválido?
Um argumento é válido quando é impossível que todas as suas premissas sejam verdadeiras e sua conclusão seja falsa ao mesmo tempo.
Para avaliar um argumento, pergunte: todas as premissas podem ser verdadeiras com a conclusão falsa?
| Resposta | Classificação |
|---|---|
| Sim, existe essa possibilidade. | Argumento inválido. |
| Não, essa situação é impossível. | Argumento válido. |
Validade e verdade: qual é a diferença?
Uma proposição pode ser verdadeira ou falsa. Um argumento pode ser válido ou inválido.
Considere esta regra hipotética:
Se a biblioteca está aberta, então a luz da entrada está acesa.
A biblioteca está aberta.
Logo, a luz da entrada está acesa.
O argumento tem uma forma válida:
p → q; p; logo, q.
Para avaliar sua estrutura, tratamos as premissas como informações dadas. Se uma visita ao local revelar que a biblioteca está fechada, isso mostrará que uma premissa era falsa naquela situação. A forma do raciocínio continua válida.
Validade significa que a conclusão está garantida caso todas as premissas sejam verdadeiras.
Informação complementar: um argumento válido cujas premissas são realmente verdadeiras é chamado de argumento sólido.
Uma conclusão verdadeira, sozinha, não torna um argumento válido. Ela precisa decorrer das premissas.
4. Como testar a validade por contraexemplo?
Um contraexemplo é uma situação em que todas as premissas são verdadeiras, mas a conclusão é falsa.
Encontrar um único contraexemplo basta para demonstrar que o argumento é inválido.
Exemplo resolvido
Se um número inteiro é múltiplo de 4, então é par.
O número é par.
Logo, o número é múltiplo de 4.
Vamos testar o número 6:
| Afirmação | Valor |
|---|---|
| Se é múltiplo de 4, então é par. | V |
| É par. | V |
| É múltiplo de 4. | F |
O número 6 mantém as premissas verdadeiras e torna a conclusão falsa. Portanto, o argumento é inválido.
Roteiro para procurar um contraexemplo
- Suponha que a conclusão seja falsa.
- Tente manter todas as premissas verdadeiras.
- Verifique se essa combinação é possível.
Se for possível, o argumento é inválido. Se você demonstrar que é impossível, ele é válido.
Não encontrar um contraexemplo em algumas tentativas não prova a validade. Para comprová-la, examine todas as possibilidades relevantes ou use regras válidas de inferência.
5. Como verificar a validade pela tabela-verdade?
p → q
q
Logo, p.
Monte as premissas e a conclusão na mesma tabela:
| p | q | Premissa 1: p → q | Premissa 2: q | Conclusão: p |
|---|---|---|---|---|
| V | V | V | V | V |
| V | F | F | F | V |
| F | V | V | V | F |
| F | F | V | F | F |
Observe a terceira linha:
- A primeira premissa é verdadeira.
- A segunda premissa é verdadeira.
- A conclusão é falsa.
Essa linha é um contraexemplo. Portanto, o argumento é inválido.
Para testar a validade, examine as linhas em que todas as premissas são verdadeiras. A conclusão precisa ser verdadeira em todas elas.
Uma linha com alguma premissa falsa não demonstra que o argumento é inválido.
Relação com a tautologia
Também podemos juntar as premissas por “e” e colocá-las como antecedente de uma condicional:
(P₁ ∧ P₂ ∧ … ∧ Pₙ) → C
Aqui, P₁, P₂ e as demais letras P representam as premissas. C representa a conclusão.
O argumento é válido quando essa expressão é uma tautologia, isto é, verdadeira em todas as linhas.
6. Modus ponens: afirmar o antecedente
O modus ponens é uma regra válida com esta estrutura:
| Papel | Expressão |
|---|---|
| Premissa 1 | p → q |
| Premissa 2 | p |
| Conclusão | q |
A primeira premissa afirma “se p, então q”. A segunda confirma p. Assim, podemos concluir q.
Exemplo
Se o sistema confirmou o pagamento, então liberou a inscrição.
O sistema confirmou o pagamento.
Logo, liberou a inscrição.
Se o pagamento foi confirmado, mas a inscrição não foi liberada, a primeira premissa seria falsa: teríamos V → F.
Portanto, com as duas premissas verdadeiras, a conclusão precisa ser verdadeira.
Modus ponens: afirma o antecedente e conclui o consequente.
7. Modus tollens: negar o consequente
O modus tollens também é uma regra válida:
| Papel | Expressão |
|---|---|
| Premissa 1 | p → q |
| Premissa 2 | ¬q |
| Conclusão | ¬p |
Se p garante q, descobrir que q é falsa permite concluir que p também é falsa.
Exemplo
Se o sistema confirmou o pagamento, então liberou a inscrição.
O sistema não liberou a inscrição.
Logo, não confirmou o pagamento.
Se o pagamento tivesse sido confirmado, a inscrição precisaria ter sido liberada, conforme a primeira premissa.
Modus tollens: nega o consequente e conclui a negação do antecedente.
Essa regra se relaciona à contrapositiva:
p → q ≡ ¬q → ¬p
Modus ponens e modus tollens: qual é a diferença?
| Regra | Informação conhecida, além de p → q | Conclusão |
|---|---|---|
| Modus ponens | p é verdadeira. | q é verdadeira. |
| Modus tollens | q é falsa. | p é falsa. |
Nos dois casos, consideramos verdadeira a condicional p → q.
8. Falácias da condicional: dois erros frequentes
Uma falácia é um raciocínio que parece correto, mas contém um erro. Nesta aula, estudamos falácias formais, nas quais o erro está na estrutura do argumento.
Um argumento inválido não tem necessariamente uma conclusão falsa. Sua conclusão apenas não está garantida pelas premissas.
Afirmação do consequente
p → q
q
Logo, p.
Se o número é múltiplo de 4, então é par.
O número é par.
Logo, é múltiplo de 4.
O número pode ser 8, que é múltiplo de 4, ou 6, que não é.
Saber que q aconteceu deixa p em aberto. Portanto, o argumento é inválido.
Negação do antecedente
p → q
¬p
Logo, ¬q.
Se o número é múltiplo de 4, então é par.
O número não é múltiplo de 4.
Logo, não é par.
O número pode ser 6, que é par, ou 7, que não é.
Saber que p não aconteceu deixa q em aberto. Portanto, o argumento é inválido.
Compare as quatro estruturas
| Premissas | Conclusão proposta | Nome | Avaliação |
|---|---|---|---|
| p → q; p | q | Modus ponens | Válido |
| p → q; ¬q | ¬p | Modus tollens | Válido |
| p → q; q | p | Afirmação do consequente | Inválido |
| p → q; ¬p | ¬q | Negação do antecedente | Inválido |
A avaliação considera somente as premissas indicadas. Informações adicionais podem permitir outras conclusões.
Por exemplo, se também tivermos q → p, será possível concluir p a partir de q.
9. Outras regras de inferência importantes
Silogismo hipotético: encadear condicionais
p → q
q → r
Logo, p → r.
Se o pagamento foi confirmado, então a inscrição foi liberada.
Se a inscrição foi liberada, então o comprovante ficou disponível.
Logo, se o pagamento foi confirmado, então o comprovante ficou disponível.
A conclusão mantém uma condição: se p acontecer, r estará garantida. Sem outra informação, não podemos afirmar que p ou r realmente aconteceu.
Silogismo disjuntivo: eliminar uma alternativa
p ∨ q
¬p
Logo, q.
O arquivo está na pasta A ou na pasta B.
O arquivo não está na pasta A.
Logo, está na pasta B.
Também funciona no outro sentido: de p ∨ q e ¬q, concluímos p.
A regra vale para o “ou” inclusivo. Porém, de p ∨ q e p não podemos concluir ¬q, pois ambas podem ser verdadeiras.
Simplificação: retirar uma parte de uma conjunção
p ∧ q
Logo, p.
Também podemos concluir q, separadamente.
Ana leu o edital e pagou a taxa.
Logo, Ana leu o edital.
Se a conjunção é verdadeira, cada uma de suas partes precisa ser verdadeira.
Conjunção: reunir duas afirmações
p
q
Logo, p ∧ q.
Ana leu o edital.
Ana pagou a taxa.
Logo, Ana leu o edital e pagou a taxa.
Como temos as duas informações, podemos reuni-las por “e”.
Adição: formar uma disjunção inclusiva
p
Logo, p ∨ q.
Ana estuda.
Logo, Ana estuda ou trabalha.
A disjunção inclusiva precisa de pelo menos uma parte verdadeira. Como sabemos que Ana estuda, a conclusão está garantida.
Essa regra não permite concluir que Ana trabalha. Ela permite afirmar a disjunção inteira.
10. Como resolver um argumento por etapas?
Em algumas questões, você precisará combinar regras. Considere verdadeiras:
- p → q
- q → r
- ¬r
O que podemos concluir sobre p?
Passo 1 — Use a informação ¬r
Temos q → r e ¬r. Por modus tollens, concluímos ¬q.
Passo 2 — Use o resultado encontrado
Agora temos p → q e ¬q. Aplicando novamente o modus tollens, concluímos ¬p.
Cada conclusão intermediária foi obtida por uma regra válida e serviu de informação para o passo seguinte.
Dica de resolução: procure uma regra cujas premissas já estejam disponíveis. Registre a conclusão obtida e veja se ela permite aplicar outra regra.
11. Exercícios com respostas comentadas
Tente resolver antes de abrir cada resposta.
Exercício 1 — Premissas e conclusão
O comprovante está disponível, pois a inscrição foi confirmada e, se a inscrição foi confirmada, então o comprovante está disponível.
Ver resolução do exercício 1Ocultar resolução do exercício 1
A conclusão é “O comprovante está disponível”.
As premissas são:
- A inscrição foi confirmada.
- Se a inscrição foi confirmada, então o comprovante está disponível.
Representando a confirmação por p e a disponibilidade por q, temos:
p; p → q; logo, q.
É uma aplicação de modus ponens. A conclusão aparece antes das premissas, mas isso não altera o raciocínio.
Exercício 2 — Modus ponens ou modus tollens?
Se Ana revisou a matéria, então identificou suas dúvidas.
Ana não identificou suas dúvidas.
O que podemos concluir? Qual regra justifica a resposta?
Ver resolução do exercício 2Ocultar resolução do exercício 2
Ana não revisou a matéria.
Considere:
- p = “Ana revisou a matéria.”
- q = “Ana identificou suas dúvidas.”
As premissas são p → q e ¬q.
Por modus tollens, concluímos ¬p: Ana não revisou a matéria.
Exercício 3 — Validade por contraexemplo
Se um número inteiro é divisível por 6, então é divisível por 3.
O número é divisível por 3.
Logo, é divisível por 6.
Se for inválido, apresente um contraexemplo e identifique a falácia.
Ver resolução do exercício 3Ocultar resolução do exercício 3
O argumento é inválido: afirmação do consequente.
p → q; q; logo, p.
O número 9 é um contraexemplo: é divisível por 3, mas não é divisível por 6.
Assim, as premissas podem ser verdadeiras com a conclusão falsa.
Exercício 4 — Falácia da condicional
Se o sistema enviou o comprovante, então registrou a inscrição.
O sistema não enviou o comprovante.
Logo, não registrou a inscrição.
Identifique a estrutura e avalie a validade.
Ver resolução do exercício 4Ocultar resolução do exercício 4
O argumento é inválido: negação do antecedente.
Considere:
- p = “O sistema enviou o comprovante.”
- q = “O sistema registrou a inscrição.”
p → q; ¬p; logo, ¬q.
Como contraexemplo, imagine que o sistema registrou a inscrição, mas não enviou o comprovante.
| Parte do argumento | Valor |
|---|---|
| p → q | V |
| ¬p | V |
| ¬q | F |
As premissas são verdadeiras e a conclusão é falsa. Portanto, a ausência do envio não permite concluir que a inscrição deixou de ser registrada.
Exercício 5 — Inferências por etapas
- p ∨ q
- ¬p
- q → r
É possível concluir r? Justifique.
Ver resolução do exercício 5Ocultar resolução do exercício 5
Sim, podemos concluir r.
Primeiro, usamos:
p ∨ q; ¬p; logo, q.
Essa é uma aplicação do silogismo disjuntivo.
Depois, usamos:
q → r; q; logo, r.
Essa é uma aplicação do modus ponens.
A conclusão r decorre das premissas por duas inferências válidas.
Perguntas frequentes sobre argumentos, inferências e falácias
O que são premissas, conclusão e inferência lógica?
Premissas são as informações das quais o raciocínio parte. A conclusão é a afirmação que buscamos deduzir dessas informações. Inferência é o passo do raciocínio que leva das premissas à conclusão.
Como saber se um argumento é válido ou inválido?
Um argumento é válido quando não existe situação em que todas as premissas sejam verdadeiras e a conclusão seja falsa. Se essa situação existir, ela será um contraexemplo e demonstrará que o argumento é inválido. Uma conclusão verdadeira, sozinha, não garante validade.
Qual é a diferença entre modus ponens e modus tollens?
As duas regras partem de p → q. No modus ponens, sabemos também p e concluímos q. No modus tollens, sabemos ¬q e concluímos ¬p. Ambas são regras válidas: quando suas premissas são verdadeiras, a conclusão está garantida.
O que são as falácias da condicional?
São erros na estrutura do raciocínio. A afirmação do consequente tenta concluir p a partir de p → q e q. A negação do antecedente tenta concluir ¬q a partir de p → q e ¬p. Nessas estruturas, as premissas indicadas não garantem as conclusões.
Como usar a tabela-verdade para testar a validade de um argumento?
Monte colunas para as premissas e a conclusão. Examine as linhas em que todas as premissas são verdadeiras. Uma conclusão falsa em qualquer uma delas torna o argumento inválido. Se não existir linha com todas as premissas verdadeiras e a conclusão falsa, o argumento é válido.
