El recíproco de una implicación necesita su propia prueba
El recíproco de una implicación intercambia su condición y su conclusión. Que la afirmación inicial sea verdadera no demuestra que también funcione al revés. Si en tus deberes pasas de «todo múltiplo de doce es múltiplo de tres» a la dirección contraria, falta justificar un paso lógico. Aquí aprenderás a detectar ese salto, buscar un contraejemplo adecuado y pedir a Lirno una pista limitada antes de redactar tu propia explicación. Los ejemplos numéricos son originales; las peticiones sugeridas no son transcripciones de una prueba de la aplicación.
Identifica las dos partes del recíproco de una implicación
Fija primero el dominio: n será un entero positivo. Llamaremos P a «n es divisible por doce» y Q a «n es divisible por tres». La implicación inicial es P → Q. Su recíproco es Q → P. Al cambiar las posiciones, conserva completas las dos proposiciones: no sustituyas doce por otro divisor ni reduzcas los valores permitidos sin avisar.
La primera dirección es verdadera. Si n = 12k, con k entero positivo, también podemos escribir n = 3(4k). Por tanto, n es divisible por tres. El argumento sirve para cualquier valor admitido, pero no afirma que todos los múltiplos de tres contengan un factor doce. El recíproco plantea una pregunta distinta, aunque utilice exactamente las mismas palabras.
Antes de abreviar con flechas, escribe ambas frases. Subraya la parte que se supone cierta y rodea la que habría que concluir. La guía para abordar un problema de matemáticas ofrece una preparación más general; en esta tarea conviene concretarla en tres datos: dominio, hipótesis y conclusión. Así podrás localizar el cambio sin empezar a calcular por inercia.
Busca un caso que cumpla la nueva hipótesis
Para refutar Q → P necesitas un número permitido que cumpla Q y no cumpla P. Nueve sirve: 9 = 3 × 3, pero nueve no es doce multiplicado por un entero. Cumple la condición del recíproco y contradice su conclusión. Eso hace falso el recíproco sin afectar a la regla original, que sigue siendo verdadera.
Compara ese caso con otros dos. Veinticuatro es divisible por doce y por tres: concuerda con las dos direcciones, pero no demuestra ninguna afirmación universal por sí solo. Diez no es divisible por ninguno de los dos números. Como no cumple la hipótesis del recíproco, no puede desmentirlo. La diferencia decisiva no está en elegir un número pequeño, sino en verificar las dos propiedades correctas.
| n | ¿Divisible por 12? | ¿Divisible por 3? |
|---|---|---|
| 24 | Sí | Sí |
| 9 | No | Sí |
| 10 | No | No |
Una sola excepción válida basta para refutar una afirmación sobre todos los elementos del dominio. Varias coincidencias no la demuestran cuando quedan infinitos casos sin revisar. La tabla ayuda a encontrar una excepción; el argumento n = 3(4k) es lo que justifica la dirección inicial de manera general.
No confundas intercambiar con negar
El recíproco solo intercambia: Q → P. Otra transformación consiste en negar las dos partes sin moverlas: no P → no Q. También puedes intercambiar y negar a la vez: no Q → no P, que es el contrarrecíproco o contrapositiva de la implicación inicial. Algunos materiales cambian ciertos nombres; las fórmulas permiten comprobar qué operación se ha realizado.
En nuestro ejemplo, el contrarrecíproco dice: si un entero positivo no es divisible por tres, tampoco es divisible por doce. Tiene la misma fuerza lógica que la afirmación inicial. En cambio, «si no es divisible por doce, no es divisible por tres» resulta falso: nueve vuelve a servir como excepción. No basta con añadir negaciones para obtener una reformulación equivalente.
La explicación de OpenStax sobre enunciados equivalentes distingue estas relaciones. Úsala para revisar una transformación concreta, no solo para aprender una lista de etiquetas. Las fotografías del artículo representan papeles intercambiados, búsqueda de excepciones y trabajo independiente; no son diagramas que demuestren por sí mismos una equivalencia lógica.
Lleva a Lirno el paso que realmente dudas
La parte asistida por la aplicación empieza con tu intento. La página oficial del tutor de Lirno documenta preguntas escritas y opciones de pista, explicación y revisión; su ficha en el App Store también describe preguntas escritas y ayuda paso a paso. Puedes introducir el dominio, la frase inicial y el recíproco que has escrito, y pedir ayuda sobre ese único salto. Aquí no se presupone un botón especial para comprobar recíprocos ni una interfaz concreta.
Una petición útil sería: «Trabaja solo con enteros positivos. Mi afirmación inicial es P: ser divisible por doce implica Q: ser divisible por tres. La he invertido. Identifica la nueva hipótesis y la nueva conclusión y pregúntame qué propiedades debería tener un contraejemplo. Dame primero una pista, sin completar el caso». Es una propuesta de petición, no una conversación observada ni una garantía sobre la respuesta.
Mantén el enunciado de clase a la vista. Si tu material emplea otra notación, consérvala y aclara qué significa. La guía del tutor de IA explica cómo centrar una pregunta de seguimiento en un paso. La utilidad de la ayuda se mide aquí por si te permite comprobar el razonamiento, no por la extensión de una solución que puedas copiar.
Prueba el siguiente paso con tu propia tarea.
Lleva tu pregunta y tu intento a Lirno. Pide una pista, comenta el razonamiento y después intenta el siguiente paso por tu cuenta.
Comprueba la pista aunque use términos correctos
Una explicación puede emplear la palabra «contraejemplo» y, aun así, elegir un caso inadecuado. Si se propone diez, pregunta qué hipótesis del recíproco cumple. Diez no es divisible por tres; por eso no activa Q → P. Comprueba cada propiedad en tu cuaderno antes de aceptar la etiqueta. La apariencia ordenada de una respuesta no sustituye ese examen.
Si una justificación enumera doce, veinticuatro y treinta y seis, revisa qué falta para cubrir todos los múltiplos positivos de tres. Nueve y quince no aparecen. La lista puede ilustrar una regla, pero no demostrar su recíproco. Una pregunta de seguimiento sería: «Para n = 9, evalúa Q y P por separado. ¿Qué flecha queda refutada?». Después verifica tú mismo las dos evaluaciones.
La revisión de errores ayuda a distinguir un salto lógico de un fallo de cálculo. Anota «supuse el recíproco sin demostrarlo» y añade el patrón que debe cumplir un contraejemplo: nueva hipótesis verdadera, nueva conclusión falsa. Guardar únicamente el número nueve hace que se pierda la decisión que tendrás que reconocer en otro ejercicio.
Exige dos razones para escribir «si y solo si»
El recíproco también puede ser verdadero. Considera ahora enteros m: si m es par, entonces m² es par. Escribiendo m = 2k obtenemos m² = 4k², que es dos veces un entero. Esta cuenta justifica la dirección inicial para todos los enteros pares; no depende de probar dos o tres números favorables.
Para estudiar el recíproco, supón que m² es par. Si m fuese impar, tendría la forma 2k + 1 y su cuadrado sería 4k² + 4k + 1, un número impar. Por tanto, m no puede ser impar: tiene que ser par. Las dos direcciones ya cuentan con una justificación. Ahora sí podemos afirmar que m es par si y solo si m² es par.
El texto de matemáticas de UNCG sobre recíprocos y contrapositivas permite contrastar inversión y equivalencia. No traslades el argumento de paridad a cualquier número real: «par» e «impar» se están usando para enteros. La palabra «recíproco» describe cómo se construyó una frase, pero no informa de si es verdadera, falsa o ya está demostrada.
Respeta el dominio y el alcance de la afirmación
Una restricción del dominio puede cambiar el resultado, siempre que forme parte del ejercicio. En el conjunto finito D = {12, 24, 36}, las dos propiedades de divisibilidad se cumplen para cada elemento. El recíproco es verdadero en D, y revisar sus tres miembros es una comprobación completa de ese dominio finito. Si añadimos nueve, deja de ser verdadero en el conjunto ampliado.
Eso no salva la afirmación sobre todos los enteros positivos. Elegir un subconjunto conveniente después de encontrar una excepción equivale a cambiar la pregunta. Especifica los valores admitidos antes de buscar casos y explica cualquier condición adicional. Cero y los números negativos quedan fuera del dominio positivo de nuestro primer ejercicio, aunque sepas calcular su divisibilidad.
También conviene separar una implicación matemática de una explicación causal. La relación entre dos propiedades numéricas no describe que un suceso produzca otro. En una tarea de ciencias o de escritura, comprueba qué permite concluir la evidencia antes de invertir una relación. Puedes pedir a Lirno que examine la redacción, pero el dominio, las premisas y las pruebas siguen siendo los que fijan el alcance de tu conclusión.
Comprueba lo aprendido con una pareja nueva
Oculta la explicación anterior e intenta resolver esta tarea sobre enteros positivos: si m es divisible por dieciocho, entonces m es divisible por seis. Escribe el recíproco y decide cuál de estos números puede refutarlo: doce, siete o treinta y seis. Antes de operar, indica qué propiedad debe cumplirse y cuál debe fallar. Así compruebas el procedimiento y no el recuerdo del nueve.
La dirección inicial es verdadera porque m = 18k = 6(3k). El recíproco sostiene que todo múltiplo positivo de seis es múltiplo de dieciocho. Doce lo contradice: 12 = 6 × 2, pero 12/18 no es un entero. Siete no sirve porque no cumple la nueva hipótesis. Treinta y seis cumple las dos propiedades, de modo que aporta una coincidencia, no una excepción.
Redacta la respuesta final con tres elementos: dirección examinada, caso permitido y explicación de por qué cumple la nueva hipótesis pero falla la conclusión. Si crees que el recíproco es verdadero, busca una razón que cubra su dominio. Una pista de la aplicación habrá cumplido su función cuando puedas hacer esta comprobación nueva sin mantener la respuesta anterior delante.
Preguntas sobre este método
¿Recíproco significa aquí lo mismo que el inverso de una fracción?
No. Aquí se habla de lógica: se intercambian la condición y la conclusión de una implicación. No se está sustituyendo un número por su inverso multiplicativo. El contexto del ejercicio permite distinguir ambos usos.
¿El recíproco de una afirmación verdadera siempre es falso?
No. Puede ser verdadero o falso. El ejemplo de divisibilidad tiene un recíproco falso; el de paridad del cuadrado tiene uno verdadero sobre los enteros. La verdad de la frase inicial no decide por sí sola la otra dirección.
¿Por qué basta un contraejemplo?
Una implicación universal afirma que todos los casos permitidos que cumplen su hipótesis también cumplen su conclusión. Un caso admitido que satisface la primera y falla la segunda contradice esa afirmación. Un caso que no cumple la hipótesis no sirve para ese propósito.