¿Hay un nombre para este tipo de falacia lógica?

Question

Considere la posibilidad de una declaración de la forma: $A$ implica $B$ donde $A$ $B$ son verdaderas, pero la $B$ no está implícita $A$.

Ejemplo: Como $3$ es impar, $3$ es primo.

En este caso, es cierto que $3$ es impar, y que $3$ es primo, pero la implicación es falsa. Si $9$ había sido utilizado en lugar de $3$, la primera afirmación sería verdadera, pero la segunda no, en cuyo caso es claro que la implicación es falsa.

Hay un nombre para este tipo de falacia lógica?

Answer 1

La implicación es verdadera. Una frase relacionada, "$\forall n$ si $n$ es impar entonces $n$ es el primer" pasa a ser falsa.

Answer 2

Creo que sería un non sequitur ("no"), que se dobla como un catch-all plazo para todos los argumentos inválidos.

De La Wiki:

Non sequitur (latín para "no seguir"), en la lógica formal, es un argumento en el que la conclusión no se sigue de sus premisas. En un non sequitur, la conclusión puede ser verdadera o falsa, pero el argumento es falaz, porque hay una desconexión entre la premisa y la conclusión. Todos los argumentos no válidos son casos especiales de non sequitur.

En el caso de que su premisa y la conclusión de pasar a ser cierto, pero B no sigue ya que la implicación es roto.

Answer 3

Afirmar el consecuente

Esta falacia tiene la siguiente forma:
Premisa 1:Si a, entonces B.
Premisa 2:B.
Conclusión:Por Lo Tanto, A.
Argumento: "Los que practican autorizado el matrimonio plural tenido múltiples parejas sexuales. John C. Bennett tenido múltiples parejas sexuales. Por lo tanto, Bennett practica autorizado el matrimonio plural."

Refutación: A implica B, pero B no implica, es decir, autorizado el matrimonio plural tenido varias parejas, pero todos aquellos con múltiples parejas no estaban practicando autorizado el matrimonio plural.

Answer 4

Si $P(x)$ y $Q(x)$ son declaraciones acerca de $x$, lo que pasa es que el $\exists x_0$ tal que $P(x_0)$ y $Q(x_0)$ son verdaderas, entonces se concluye que el $\forall x$, $P(x)$% y $Q(x)$ son verdaderas, que no es necesariamente una conclusión válida.

Answer 5

Al parecer, se llama afirmar el consecuente. También se conoce como la falacia de lo contrario un error inverso.