01 · Entenda
Regras e exemplos
1. Reconheça uma proposição
Na lógica clássica usada aqui, uma proposição é uma afirmação à qual se atribui um valor de verdade: V ou F. Perguntas e ordens não têm esse papel. Uma afirmação falsa continua sendo proposição; ser verdadeira não é um requisito para receber esse nome.
Na prática“7 é maior que 2” é uma proposição verdadeira. “7 é menor que 2” é uma proposição falsa. “Abra o caderno” é uma ordem, não uma proposição.
2. Use a negação para inverter o valor
A negação de p, escrita não p ou ¬p, é falsa quando p é verdadeira e verdadeira quando p é falsa. Mantenha a mesma afirmação como referência: trocar o assunto ou acrescentar uma informação não forma automaticamente sua negação.
Na práticap: “Lia entregou o documento.” Não p: “Lia não entregou o documento.” Essas duas afirmações têm valores opostos no mesmo contexto.
3. Diferencie e de ou
A conjunção p e q só é verdadeira quando ambas são verdadeiras. A disjunção inclusiva p ou q é verdadeira quando pelo menos uma é verdadeira, inclusive quando as duas são. Leia se o enunciado estabelece um ou exclusivo, que tem outra regra.
Na práticaSe p é V e q é F, p e q é F, enquanto p ou q é V. Se ambas são V, o ou inclusivo também é V.
4. Confira a condicional
Em se p, então q, escrita p → q, a única combinação falsa é p verdadeira e q falsa. A condicional não afirma, sozinha, que p ocorreu. Sua negação é p e não q; não é simplesmente trocar a ordem e escrever q → p.
Na práticaAssuma verdadeira a regra “Se Lucas revisou o tema, então resolveu um exercício”. Se Lucas não resolveu um exercício, conclui-se que ele não revisou o tema. Só saber que ele resolveu um exercício não permite concluir que revisou.
| p | q | p e q | p ou q | p → q |
|---|---|---|---|---|
| V | V | V | V | V |
| V | F | F | V | F |
| F | V | F | V | V |
| F | F | F | F | V |
V = verdadeiro; F = falso. O ou é inclusivo; p → q significa “se p, então q”. Confira cada combinação antes de resolver os exercícios.
02 · Pratique
Exercícios comentados
Escolha sua resposta antes de abrir o comentário. São exercícios originais de treino, não questões de uma banca. Esta prática não registra progresso nem gera XP.
Marque uma alternativa e abra a explicação para conferir. A seleção fica apenas nesta página.
Exercício 01 de 4
Qual das frases é uma proposição na lógica adotada neste guia?
Ver resposta e explicação do exercício 1
Resposta B: 7 é maior que 2.
A afirmação sobre 7 e 2 admite valor de verdade. A ordem e a pergunta não são afirmações que possam ser classificadas como V ou F nesse sentido.
Exercício 02 de 4
Se p é V e q é F, qual é o valor de p e q?
Ver resposta e explicação do exercício 2
Resposta C: F, porque a conjunção exige ambas verdadeiras.
O conectivo e exige V nas duas partes. Com p = V e q = F, a conjunção é F; a regra de pelo menos uma parte verdadeira pertence ao ou inclusivo.
Exercício 03 de 4
Quando a condicional p → q é falsa?
Ver resposta e explicação do exercício 3
Resposta B: Quando p é V e q é F.
A única linha falsa da condicional combina antecedente verdadeiro e consequente falso. Sua negação é p e não q.
Exercício 04 de 4
Considere verdadeiras as premissas: “Se Lucas revisou o tema, então resolveu um exercício” e “Lucas não resolveu um exercício”. O que se conclui?
Ver resposta e explicação do exercício 4
Resposta A: Lucas não revisou o tema.
Se ele tivesse revisado, a primeira premissa exigiria que tivesse resolvido. Como não resolveu, a proposição “Lucas revisou o tema” é falsa. Trata-se da consequência lógica das premissas, não de uma afirmação sobre hábitos reais de estudo.
03 · Aprofunde
Fontes e método
As definições e as regras dos conectivos seguem as seções indicadas de Contemporary Mathematics, da OpenStax. A redação em português, as situações e os exercícios foram preparados pelo KAD; não são traduções dos exemplos do livro nem questões de uma banca.
Referências consultadas em 1º de novembro de 2026. Este material não tem chancela das instituições citadas nem de banca examinadora.
- OpenStax — Contemporary Mathematics 2.1: Statements and Quantifiers (em inglês)
- OpenStax — Contemporary Mathematics 2.2: Compound Statements (em inglês)
- OpenStax — Contemporary Mathematics 2.4: Truth Tables for the Conditional and Biconditional (em inglês)
Consulte as referências para aprofundar o assunto e confira o conteúdo previsto no seu edital. Conheça nosso método editorial.