Un antónimo para "converse"

Question

Supongamos que usted está demostrando $p \leftrightarrow q$. En su primer párrafo que usted demuestre $p \rightarrow q$. Su segundo párrafo que comienza", Por el contrario, asumen $q$ sostiene."

En esta situación, tenemos una manera muy precisa de referirse a la declaración de $q \rightarrow p$: "a la inversa." Pero no tenemos una buena forma para referirse a $p\rightarrow q$. A veces decimos "el avance implicación," pero yo no soy un gran fan de esta frase y me preguntaba si hay una sola palabra en latín que significa la misma cosa. (Facial? Inversa? Contrapositivo? No, ninguna de esas significa "$p \rightarrow q$.")

Concedido, la palabra "conversar" sólo funciona en el contexto, ya que son implícitamente diciendo "lo contrario a $p \rightarrow q$," y en ese contexto sólo puede deducirse si usted está usando la palabra "conversar", inmediatamente después de haber probado "$p \rightarrow q$." Pero, de todos modos, simplemente estoy preguntando si existe una mejor manera de decir "el avance implicación."

Answer 1

Por qué usted necesita una palabra especial? Si usted está demostrando $P\iff Q$ sólo puede hablar de la declaración de $P\implies Q$ , y su opuesto.

Si usted piensa acerca de ello, lo contrario (y a la inversa, y contrapositivo, y la negación) todas implícitamente se refieren a la declaración original. No es sólo "el converso" es "lo contrario de la declaración."

Usted no puede conseguir alrededor de establecer el significado de la frase es que antes de empezar a decir "conversar", por lo que no tiene sentido que evitar, y no en realidad no parece haber ninguna evidencia más de la terminología que se necesita para ello, tampoco.

Incluso si usted no compra ese argumento, por alguna razón, usted debería considerar la posibilidad de que usted no está utilizando las palabras tal y como se pretendía. "Conversar" no es realmente una etiqueta para $Q\implies P$, es una declaración acerca de la modificación de una existente declaración, como la negación, la inversión, y contraposición. Sería una manera similar preguntar "¿cuál es el antónimo de la contrapositivo?" Probablemente no.

Esto es apoyado por la presentación en el artículo de wiki en contraposición, donde contraposición, la inversión y la conversión y la negación son todos pensamos de como las cosas que usted puede hacer para una instrucción determinada.

Answer 2

No es tan agradable como una declaración simple, pero en cada párrafo puede referirse a la otra p-> q o q-> p como la inversa. Es decir, lo contrario de lo contrario es el original.

Answer 3

He visto en algunas pruebas de$P\iff Q$:

"Primero, demostramos el directo ...

Donde$P\implies Q$ es directo.

Answer 4

(Demostrar) (la) "implicación", "dirección" o "implicación directa"$p \to q$