He visto que ambos símbolos se usan para significar "por lo tanto" o implicación lógica. Parece que se usa con más frecuencia cuando se llega a la conclusión de un argumento, mientras que es para afirmaciones intermedias que se implican entre sí. ¿Hay alguna forma acordada de usar estos símbolos, o son más o menos intercambiables?
"Parece que se usa con más frecuencia cuando se llega a la conclusión de un argumento, mientras que (alternativamente ) es para reclamos intermedios que se implican entre sí".
Su suposición es en gran medida correcta; mi única preocupación es tu descripción de se usa para denotar afirmaciones intermedias (en una prueba o un argumento, por ejemplo) que se implican entre sí. El denotación, como en , simplemente transmite que la reivindicación anterior ( , si es cierto) implica la afirmación posterior ; es decir, no denota una implicación bidireccional que dice "si y solo si".
' ' o ' ' se usa a menudo en un argumento de estilo "modus ponens" (de alcance corto): Si , y si es el caso que , entonces se sigue que .
Por lo general, como usted nota, ayuda a significar la conclusión de un argumento: dado lo que sabemos (o asumimos como dado) como verdadero y dadas las implicaciones intermedias que siguen, concluimos que...
Entonces, en pocas palabras, ("que implica que") suele tener un alcance más corto, por lo general destinado a vincular, por implicación, la declaración anterior y lo que sigue de ella, mientras que ' ' tiene típicamente, aunque no siempre, un mayor alcance, por así decirlo, vinculando los supuestos/dados iniciales, las implicaciones intermedias, con "lo que se iba a mostrar" en, digamos, una prueba o argumento.
Agregado:
Encontré la siguiente entrada de Wikipedia sobre el significado/uso del símbolo' ' , de la que citaré:
Para denotar implicación o vinculación lógica, se utilizan varios signos en lógica matemática: y ⊢, ⊨. Estos símbolos son entonces parte de una fórmula matemática y no se consideran signos de puntuación. Por el contrario, el signo por lo tanto se utiliza tradicionalmente como signo de puntuación y no forma parte de una fórmula.
También se refiere al "complementario" del símbolo "por lo tanto". , a saber, el símbolo , que denota "porque".
Ejemplo:
Todos los hombres son mortales.
Sócrates es un hombre.
Sócrates es mortal.
y son bastante diferentes!
"Por lo tanto" y "por lo tanto" y "como consecuencia" son todos sinónimos. El uso es "A, luego B", que significa "A es verdadero, y se sigue que B es verdadero". Nótese que se está afirmando la verdad de A. Látex \por lo tanto ( ) da el triángulo de puntos que se ha usado durante mucho tiempo para significar "por lo tanto".
"Porque" es lo mismo al revés. "B porque A" significa que B es verdadero porque A es verdadero. Esto contiene la afirmación de que A es verdadero. Látex \porque ( ) da el triángulo de puntos invertidos que se ha usado durante mucho tiempo para significar "porque".
"Implica" es completamente diferente. "A implica B" significa que SI A es verdadero, entonces B también lo es. No hace ninguna declaración sobre la verdad de A. Latex \implica ( ), \Flecha correcta ( ), y \Longrightarrow ( ) todos dan la doble flecha hacia la derecha que a menudo se usa para significar "implica". A veces se usa una sola flecha hacia la derecha, que tiene el mismo significado.
Es muy común usar el símbolo \implica en lugar de "por lo tanto", pero dado que "implica" y "por lo tanto" tienen significados significativamente diferentes, se trata de una escritura muy mala.
Hay cuatro símbolos lógicos para aclarar:
Como para ' ', esto, como el uso de 'implica', parece usarse informalmente (especialmente por no lógicos), en diferentes contextos para cualquiera de los tres primeros. Entonces, me temo que solo debe tener cuidado de dejar que el contexto se desambigüe. (Y NB en el segundo y tercer uso donde ' ' se lee más apropiadamente como 'implica' que no hay diferencia de alcance con ' '. En cualquier caso, podemos tener muchas wff antes del marcador de implicación/inferencia).
Contrasta estos:
Niego que estuviera planeando robar este banco. Si hubiera estado planeando robar este banco, estaría usando un pasamontañas.
Estaba planeando robar este banco. Por lo tanto, estoy usando una máscara de esquí.
Línea por otro lado, tampoco especifica que las oraciones y son realmente verdaderas, ni afirma que la oración es verdad. De hecho, tiene tres significados posibles, ninguno de los cuales es equivalente (convéncete usando las asignaciones de verdad y ):
Si la diferencia entre líneas y parece trivial y solo es una cuestión de inferir contextualmente el significado más fuerte según sea necesario, luego contrastar esta declaración verdadera
Considerándolo todo, creo que es una mala práctica tratar
y
como intercambiable.
Aquí hay varios artículos que exponen su distinción:
Tomas Andrews
Alexei Averchenko
Tomas Andrews
Volar de noche
GeoffDS
ryang