Se / Então — Quiz de Lógica Condicional

Domine a lógica das condicionais se/então (P → Q). 45 problemas em três níveis: Fundação cobre a tabela verdade de P→Q (verdade vacuosa, o único caso falso), Modus Ponens, Modus Tollens, e por que Afirmar o Consequente e Negar o Antecedente são inválidos. Intermediário adiciona a contrapositiva, a conversa, a inversa, a bicondicional (P↔Q), a equivalência de disjunção (¬P∨Q) e o silogismo hipotético. Avançado cobre condicionais encadeados, negação de condicionais (¬(P→Q) = P∧¬Q), tautologias, análise complexa de valores verdade e casos extremos.

Jogo Educação logic Matemática critical-thinking

Se / Então — Quiz de Lógica Condicional - Domine a lógica das condicionais se/então (P → Q). 45 problemas em três níveis:

Como Jogar Se / Então

1
Aprenda a Tabela Verdade
A tabela verdade no lobby é a base de tudo. P→Q é FALSO em exatamente UM caso: quando P é VERDADEIRO e Q é FALSO. Em todos os outros casos — incluindo quando P é FALSO — o condicional é VERDADEIRO. Essa 'verdade vacuosa' (um antecedente falso torna o condicional verdadeiro) é o conceito mais contraintuitivo para iniciantes.
2
Reconheça as Regras de Inferência
Modus Ponens (P→Q, P, ∴Q) e Modus Tollens (P→Q, ¬Q, ∴¬P) são válidos. Negar o Antecedente (P→Q, ¬P, ∴¬Q) e Afirmar o Consequente (P→Q, Q, ∴P) são falácias INVÁLIDAS. O nível Fundação testa os quatro.
3
Domine as Formas Equivalentes
O nível Intermediário testa quatro formas relacionadas: a CONTRAPOSITIVA (¬Q→¬P, equivalente à original), a CONVERSA (Q→P, NÃO equivalente), a INVERSA (¬P→¬Q, NÃO equivalente), e a BICONDICIONAL (P↔Q, verdadeira apenas quando P e Q coincidem). Além disso: P→Q ≡ ¬P∨Q é a equivalência de disjunção.
4
Lide com Casos Avançados
Questões avançadas exploram: silogismo hipotético encadeado (A→B→C→D dá A→D); o que podemos determinar se P→Q é sabidamente FALSO (P=V, Q=F); tautologias como (P→Q)∨(Q→P); e a negação ¬(P→Q) = P∧¬Q. Estes cobrem conteúdo de matemática discreta e cursos de lógica formal.

Principais Funcionalidades

45 Problemas em 3 Níveis
Fundação (15): A tabela verdade completa de P→Q com todas as quatro linhas; identificando o único caso falso (P=V, Q=F); Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); por que Negar o Antecedente e Afirmar o Consequente são inválidos; e verdade vacuosa (antecedente falso = sempre verdadeiro). Intermediário (15): A contrapositiva (¬Q→¬P), a conversa (Q→P), e a inversa (¬P→¬Q); quais pares são logicamente equivalentes; a bicondicional (P↔Q); a equivalência de disjunção (P→Q ≡ ¬P∨Q); a negação de um condicional; e silogismo hipotético. Avançado (15): Condicionais encadeados; tautologias; saber que P→Q é falso força P=V e Q=F; combinar condicionais para provar bicondicionais; determinar Q a partir de P→Q e ¬P→Q; e o significado lógico de P→P.
Lobby Interativo de Tabela Verdade
O lobby exibe a tabela verdade completa de P→Q com valores verdade codificados por cores — fichas verdes para VERDADEIRO, vermelhas para FALSO — e destaca a única linha que produz FALSO. Isso serve como uma referência persistente e ensina a mecânica central antes do início do quiz.
Coloração Semântica de Escolha
Os blocos de resposta que dizem VERDADEIRO são sutilmente tingidos de verde e os blocos que dizem FALSO são tingidos de vermelho mesmo antes da seleção, combinando com seu significado semântico. Isso constrói a associação entre os rótulos de valor verdade e seu significado, em vez de tratar todas as escolhas como visualmente idênticas.
Notação Lógica Monoespaçada
Questões e explicações usam notação lógica padrão: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. A fonte monoespaçada torna a estrutura lógica escaneável e espelha como os condicionais aparecem em matemática discreta, ciência da computação e seções de raciocínio formal do SAT/LSAT.

Perguntas Frequentes

Por que 'Se falso, então qualquer coisa' é VERDADEIRO?

Isso é chamado de verdade vacuosa. Um condicional 'Se P, então Q' é uma promessa: 'Sempre que P acontecer, Q acontecerá.' Se P nunca acontece (P é falso), a promessa nunca é testada — e uma promessa não testada não pode ser quebrada. Então o condicional é tecnicamente verdadeiro. Isso parece estranho, mas é logicamente consistente: um antecedente falso nunca pode violar o condicional.

Qual a diferença entre a contrapositiva, a conversa e a inversa?

Original: Se P, então Q (P→Q). Contrapositiva: Se não Q, então não P (¬Q→¬P) — EQUIVALENTE à original. Conversa: Se Q, então P (Q→P) — NÃO equivalente. Inversa: Se não P, então não Q (¬P→¬Q) — NÃO equivalente (mas equivalente à conversa). Truque de memória: Original e Contrapositiva são equivalentes; Conversa e Inversa são equivalentes entre si.

O que é Modus Ponens?

Modus Ponens ('afirmando o antecedente'): P→Q, P, ∴Q. Se o condicional for válido e o antecedente for verdadeiro, o consequente deve ser verdadeiro. Exemplo: 'Se chover, o chão fica molhado. Está chovendo. Portanto, o chão está molhado.' Esta é a forma mais básica e universalmente válida de inferência dedutiva.

O que é Modus Tollens?

Modus Tollens ('negando o consequente'): P→Q, ¬Q, ∴¬P. Se o condicional for válido e o consequente for FALSO, o antecedente deve ser falso. Exemplo: 'Se chover, o chão fica molhado. O chão NÃO está molhado. Portanto, NÃO choveu.' Isso é válido porque o condicional seria violado (P=V, Q=F) se P fosse verdadeiro.

Por que 'Afirmar o Consequente' é inválido?

Afirmar o Consequente: P→Q, Q, ∴P é inválido. Mesmo que o condicional seja válido e Q seja verdadeiro, P pode ser falso — Q poderia ter sido causado por outra coisa. Exemplo: 'Se chover, o chão fica molhado. O chão está molhado. Portanto, choveu.' Inválido — o chão pode estar molhado por um sprinkler. O condicional não diz que chover é a ÚNICA causa de estar molhado.

Como funciona a pontuação?

Respostas corretas ganham 10 pts (Fundação), 15 pts (Intermediário) ou 20 pts (Avançado). Respostas corretas consecutivas adicionam um bônus de 'sequência' de 5 pontos por resposta após a primeira. Uma resposta errada reinicia a sequência para zero.

Encontre ângulos desconhecidos e aplique teoremas chave — escolha a resposta correta entre quatro opções. 45 problemas em três níveis: Geometria I (complementares, suplementares, opostos pelo vértice, par linear, soma dos ângulos do triângulo), Geometria II (pares de ângulos em retas paralelas, somas dos ângulos internos de polígonos, teorema do ângulo inscrito), e Avançado (provas multi-etapas, ângulos de cordas na circunferência, fórmulas de ângulos externos, quadriláteros cíclicos).