A recíproca de uma condicional exige outra justificativa
A recíproca de uma condicional troca de lugar a condição e a conclusão. Uma afirmação verdadeira não garante que a direção contrária também seja verdadeira. Se a sua tarefa passa de “todo múltiplo de doze é múltiplo de três” para a relação ao contrário, existe um passo lógico a justificar. Neste guia, você vai identificar essa troca, escolher um contraexemplo válido e formular uma pergunta pontual ao Lirno sem abrir mão da própria explicação. Os exemplos numéricos são originais; os pedidos sugeridos não representam respostas que testamos no aplicativo.
Separe os dois papéis na recíproca de uma condicional
Comece pelo domínio: n será um número inteiro positivo. Chame de P a proposição “n é divisível por doze” e de Q a proposição “n é divisível por três”. A condicional original é P → Q. A recíproca é Q → P. Troque as proposições completas de posição, sem alterar os divisores ou diminuir escondido o conjunto de números permitidos.
A direção original é verdadeira. Se n = 12k, com k inteiro positivo, podemos escrever n = 3(4k). Logo, n é divisível por três. Essa justificativa vale para todo número admitido e não depende de escolher exemplos favoráveis. Entretanto, ela não diz que qualquer múltiplo de três possui um fator doze. Essa outra direção ainda precisa ser examinada.
Escreva as duas frases por extenso antes de abreviar com setas. Em cada uma, destaque o que está sendo assumido e o que deveria resultar dessa suposição. O guia para resolver problemas de matemática apresenta uma organização mais ampla; aqui, os pontos essenciais são domínio, hipótese e conclusão. Dar nome aos papéis ajuda a localizar o salto antes de começar uma conta desnecessária.
Procure um caso que satisfaça a nova hipótese
Para refutar Q → P, procure um número permitido com Q verdadeira e P falsa. Nove atende aos dois requisitos: 9 = 3 × 3, mas nove não é doze multiplicado por um inteiro. Ele satisfaz a condição da recíproca e não satisfaz sua conclusão. Isso refuta a direção invertida sem tornar falsa a regra original de divisibilidade.
Compare com duas verificações diferentes. Vinte e quatro satisfaz as duas propriedades. Portanto, concorda com as duas direções, mas um caso isolado não demonstra nenhuma delas para todos os inteiros positivos. Dez não satisfaz nenhuma das propriedades. Como não é divisível por três, não cumpre a hipótese da recíproca e não pode contradizê-la. A escolha útil precisa atender à condição que inicia a afirmação examinada.
| n | Divisível por 12? | Divisível por 3? |
|---|---|---|
| 24 | Sim | Sim |
| 9 | Não | Sim |
| 10 | Não | Não |
Uma única exceção válida basta para derrubar uma afirmação universal. Vários exemplos que dão certo não a demonstram em um domínio infinito. A tabela organiza as tentativas e revela um contraexemplo; a expressão n = 3(4k), apresentada antes, é que fornece uma razão geral para a direção original.
Não confunda troca de posição com negação
A recíproca apenas troca os papéis: Q → P. Negar as duas partes sem trocar suas posições produz não P → não Q, chamada aqui de inversa. Trocar e negar ao mesmo tempo produz não Q → não P, a contrapositiva. Alguns materiais usam nomes diferentes para certas formas; escrever a fórmula deixa explícito qual transformação você está fazendo.
Neste exemplo, a contrapositiva afirma que um inteiro positivo não divisível por três também não é divisível por doze. Ela é logicamente equivalente à direção original. Já a inversa diz que um número não divisível por doze não é divisível por três. Nove mostra que essa segunda afirmação é falsa. Acrescentar negações, portanto, não garante que você preservou o significado da primeira regra.
A seção do OpenStax sobre afirmações equivalentes explica essas relações. Use os nomes para conferir uma transformação concreta, não como substitutos da justificativa. As fotos representam troca de papéis, procura de exceções e estudo independente. São analogias com objetos de apoio, não diagramas capazes de demonstrar uma equivalência lógica.
Apresente ao Lirno o trecho que você quer conferir
A parte assistida pelo aplicativo começa com a sua tentativa. A página oficial do tutor do Lirno documenta perguntas digitadas e opções de pista, explicação e conferência; a descrição no App Store também apresenta perguntas por texto e ajuda passo a passo. Você pode informar o domínio, a afirmação original e a recíproca que escreveu, e pedir uma análise daquele passo. O procedimento não pressupõe um botão específico para conferir recíprocas ou uma tela especial de lógica.
Um pedido delimitado seria: “Use apenas inteiros positivos. Minha afirmação original é P: ser divisível por doze implica Q: ser divisível por três. Inverti a direção. Identifique a nova hipótese e a nova conclusão e me pergunte quais propriedades um contraexemplo precisa ter. Comece com uma pista, sem entregar o exemplo completo”. Trata-se de uma sugestão de pergunta, não de uma conversa observada ou de uma resposta garantida.
Deixe o enunciado da atividade ao lado. Caso seu material use outra notação, mantenha-a e explique seu significado. O guia do tutor de IA mostra como uma pergunta de acompanhamento pode se concentrar em uma etapa. A sua responsabilidade continua sendo verificar se a sugestão respeita as hipóteses, em vez de aceitar uma solução apenas porque parece bem organizada.
Tente o próximo passo com a sua própria tarefa.
Leve sua pergunta e sua tentativa ao Lirno. Peça uma dica, converse sobre o raciocínio e tente o próximo passo por conta própria.
Avalie a pista antes de aceitar a classificação
Uma explicação pode usar o termo “contraexemplo” corretamente na frase, mas aplicá-lo a um número inadequado. Se a sugestão for dez, pergunte qual condição da recíproca ele satisfaz. Dez não é divisível por três e, por isso, não ativa Q → P. Confira as duas propriedades separadamente no papel. O rótulo de uma resposta não substitui o teste que deveria justificá-lo.
Se uma proposta de demonstração listar doze, vinte e quatro e trinta e seis, observe que ela deixou de fora nove e quinze. Todos os números escolhidos pertencem a um grupo conveniente de múltiplos de três. A lista ilustra concordâncias, mas não cobre todos os casos. Você pode perguntar: “Para n = 9, avalie Q e P separadamente. Qual direção esse caso refuta?”. Faça também as duas verificações por conta própria.
A revisão de erros ajuda a separar troca de direção e erro de cálculo. Registre “supus a recíproca sem demonstrá-la” e acrescente o padrão necessário: hipótese nova verdadeira, conclusão nova falsa. Uma anotação que guarde somente o número nove perde a decisão que precisa ser reconhecida em outro exercício. Guarde a razão do reparo, além do resultado corrigido.
Justifique as duas direções antes de usar “se e somente se”
Há casos em que a recíproca é verdadeira. Considere agora inteiros m: se m é par, então m² é par. Escrevendo m = 2k, obtemos m² = 4k², que é duas vezes um inteiro. A direção original fica justificada de forma geral, sem depender de testar uma coleção de números pares.
Para analisar a recíproca, suponha que m² seja par. Se m fosse ímpar, poderíamos escrever m = 2k + 1. Seu quadrado seria 4k² + 4k + 1, um número ímpar. Logo, m não pode ser ímpar e precisa ser par. Agora existem justificativas para as duas direções, e podemos dizer que m é par se e somente se m² é par.
O texto de matemática da UNCG sobre recíproca e contrapositiva diferencia inverter uma frase de estabelecer equivalência. O domínio inteiro é essencial neste argumento: não transporte as palavras “par” e “ímpar” para números reais quaisquer. “Recíproca” informa como uma proposição foi construída; a palavra, sozinha, não diz se ela é verdadeira, falsa, evidente ou já demonstrada.
Mantenha o domínio e a força da afirmação
Uma restrição pode mudar o resultado, desde que faça parte da tarefa. No conjunto finito D = {12, 24, 36}, as duas propriedades de divisibilidade valem para todos os elementos. A recíproca é verdadeira em D, e verificar seus três membros constitui uma checagem completa desse domínio finito. Se acrescentarmos nove, a recíproca deixa de valer para o conjunto ampliado.
Isso não salva a afirmação sobre todos os inteiros positivos. Escolher um subconjunto conveniente depois de encontrar a exceção muda a pergunta. Declare os valores permitidos antes de procurar exemplos e explique qualquer condição adicional. Zero e números negativos estão fora do domínio positivo do nosso primeiro exercício, mesmo que você consiga fazer corretamente as contas de divisibilidade com eles.
Também separe implicação lógica e explicação de causa. A relação entre duas propriedades matemáticas não descreve um evento produzindo outro. Em uma atividade de ciências ou de escrita, confira o que a evidência realmente permite concluir antes de inverter uma relação. O Lirno pode ajudar a examinar a redação; o alcance da conclusão continua dependendo do domínio, das premissas e das justificativas disponíveis.
Reteste a direção com outras propriedades
Feche a explicação anterior e tente esta nova afirmação sobre inteiros positivos: se m é divisível por dezoito, então m é divisível por seis. Escreva a recíproca e decida qual dos números doze, sete ou trinta e seis pode refutá-la. Antes de calcular, declare a propriedade que deve valer e a que deve falhar. O objetivo é retomar a decisão, não repetir de memória o número nove.
A direção original é verdadeira porque m = 18k = 6(3k). A recíproca afirma que todo múltiplo positivo de seis é múltiplo de dezoito. Doze a refuta: 12 = 6 × 2, mas 12/18 não é um inteiro. Sete não serve, pois não satisfaz a nova hipótese. Trinta e seis satisfaz as duas propriedades e oferece concordância, não uma exceção.
Escreva sua resposta com três partes: a direção examinada, um caso permitido e a explicação de que ele satisfaz a hipótese nova, mas não a conclusão nova. Se a recíproca parecer verdadeira, procure uma razão que cubra seu domínio. Uma pista focada cumpre seu papel quando devolve a você essas verificações e permite resolver uma tarefa nova sem manter a resposta anterior aberta.
Perguntas sobre este método
Recíproca significa aqui o mesmo que o inverso de uma fração?
Não. Neste guia, o contexto é a lógica: trocamos a condição e a conclusão de uma proposição. Não estamos substituindo um número por seu inverso multiplicativo. O enunciado da atividade permite distinguir os usos.
A recíproca de uma afirmação verdadeira é sempre falsa?
Não. Ela pode ser verdadeira ou falsa. A recíproca do exemplo de divisibilidade é falsa; a do exemplo do quadrado par é verdadeira sobre os inteiros. A verdade da direção original, sozinha, não resolve a outra direção.
Por que basta um contraexemplo?
Uma condicional universal afirma que todo caso permitido que satisfaz a hipótese também satisfaz a conclusão. Um único caso admissível com hipótese verdadeira e conclusão falsa contradiz essa afirmação. Um caso que não satisfaz a hipótese não desempenha esse papel.