Tal vez, esta pregunta ha sido contestada hace tiempo pero no conozco su respuesta existente. ¿Existe algún icono o símbolo internacional para mostrar Contradicción ¿o reaccionar a una contradicción en contextos matemáticos? La misma historia se puede ver para mostrar que alguien llegó al final de la demostración de un teorema (El símbolo de la lápida ∎ , Halmos ).
Esto parece una opción bastante estándar, especialmente cuando se hacen pruebas sobre un sistema lógico. Los símbolos son \bot ( $\bot$ ) y el correspondiente \top ( $\top$ ) para demostrar la tautología.
29 votos
$\Rightarrow\Leftarrow\quad$
1 votos
@BillDubuque: Gracias Bill, pero no he visto el símbolo a través de Books. ¿Es nuevo? :)
0 votos
Se remonta al menos a unas décadas atrás, si no es mucho más antigua. Por desgracia, no recuerdo dónde lo vi por primera vez.
15 votos
Estoy más familiarizado con una ligera variante del símbolo de Bill, $\rightarrow\leftarrow$ que he utilizado durante más de 40 años y que he recogido de otras personas. También he visto algo similar a # pero más grande y girado ligeramente en el sentido de las agujas del reloj, aunque no tan a menudo.
90 votos
Suelo preferir el símbolo: $$\text{Contradiction}$$
2 votos
También he visto dos pequeñas dagas/espadas cruzadas como símbolo de contradicción. El símbolo está formado por cuatro segmentos de línea, y mi profesor solía decir "no, no, no, no" mientras lo dibujaba, un no por cada línea.
1 votos
@BrianM.Scott: ¿Puedo pedirte que veas lo que usé de contradicción en mi última pregunta sobre $A_n$ . Se muestra al final de dos pruebas. ¿Has visto este símbolo antes?
3 votos
@Babak: No lo había visto, aunque veo que se menciona en el artículo de la Wikipedia que ha citado Cameron.
1 votos
@utdiscant: Eso es casi seguro el símbolo tipo # que intentaba describir en mi anterior comentario.
1 votos
@BrianM.Scott: Creo que es suficiente para Contadiction. :-) Sí, como has apuntado es como el mismo Cameron citado. Gracias por el tiempo.
1 votos
He visto utilizar el flash varias veces, pero sólo en pizarras. Yo también lo uso en la pizarra.
1 votos
En la "Lista de símbolos lógicos" se encuentran tres símbolos diferentes es.wikipedia.org/wiki/Lista_de_símbolos_lógicos y otros pueden ser utilizados fuera de la lógica.
3 votos
@Brian ¿Los autores que escriben $\rightarrow\leftarrow$ para la contradicción, utilice también $\rightarrow$ contra. $\Rightarrow$ para la implicación? Siempre he presumido que $\Rightarrow\Leftarrow$ denota "dos implicaciones enfrentadas". Con ese punto de vista, se utilizan las mismas flechas que se usan para la implicación.
1 votos
He visto usar # para indicar una contradicción.
2 votos
@Bill: Sí, es la misma motivación. Yo uso $\Rightarrow$ para la implicación, si acaso, sólo en el nivel meta o cuando se acomoda a una audiencia particular; mi símbolo formal, utilizado a la par de los cuantificadores, $\lor$ , $\land$ y $\lnot$ es $\to$ .
1 votos
Personalmente uso el de Bill Dubuque de manera informal, y me han dicho que algunas personas lo abrevian a algo parecido a una estrella (dibujar una X con una línea horizontal por el centro, también se supone que parece dos flechas que chocan). Recuerdo que otro profesor intentó convencernos de que se podía utilizar un rayo.
1 votos
Al escribir, probablemente sea mejor ser claro y utilizar palabras, no símbolos.
1 votos
Esta pregunta es un ejemplo de alguien que utiliza
#como símbolo de contradicción.22 votos
Yo uso , pero sólo lo uso en mi trabajo. Si estoy redactando algo, siempre utilizaré la palabra "contradicción" en algún lugar, y después de leer este hilo creo que todos ustedes entenderán por qué...
5 votos
@user1729 Yo también en mis escritos y en una pizarra, pero a menudo sigo añadiendo "Contradicción". Normalmente, no es un error dar a los alumnos el tiempo que se tarda en escribir "contradicción" para que reflexionen sobre el hecho de que la prueba está terminada a pesar de que nos equivocamos en algo...
9 votos
Mi profesor de álgebra utilizaba
?!. Me pareció bastante divertido.1 votos
Donde yo vivo, es estándar (y literalmente todo el mundo lo usa) es el símbolo $\lightning$ . No lo utilizamos en la mecanografía de látex, sino en todo lo que va en la pizarra y en las notas personales, etc.
0 votos
El "signo de libra lateral" se puede generar utilizando el código que se muestra aquí: tex.stackexchange.com/questions/28192/
0 votos
@RobinDawes: muchas gracias por el enlace. :-)
0 votos
Para los usuarios de LaTeX, algunos de los símbolos mencionados y otras sugerencias pueden encontrarse en la sección 3 de la lista de símbolos de LaTeX: ctan.org/pkg/comprehensive