¿Cómo representar una equivalencia lógica?

Question

En la lógica proposicional tenemos las leyes de DeMorgan:

$$\lnot (p\lor q) \Leftrightarrow \lnot p\land \lnot q$$ $$\lnot (p\land q) \Leftrightarrow \lnot p\lor \lnot q$$

Me gustaría enseñar las leyes de la lógica a mis alumnos, pero cambiar el símbolo $\Leftrightarrow$ porque no quiero confundirlos con $\leftrightarrow$ . Puedo introducir =, en lugar de $\Leftrightarrow$ ? ¿cuál es el símbolo por defecto de la equivalencia lógica que utilizan los investigadores en este ámbito?

Gracias

Answer 1

Normalmente he visto $\equiv $ utilizado para la equivalencia lógica.

Answer 2

Puede utilizar un símbolo de barra triple o de barra cuádruple.

Answer 3

Como alguien ha mencionado, se utiliza este símbolo $\equiv$ que es simplemente "\N-equiv".

Si les asignas algún tipo de tarea que tenga que ver con las equivalencias lógicas y su resolución, entonces pueden utilizar Microsoft Word. Sólo tienen que ir a Insertar > Ecuación. Debería haber una pestaña de Ecuación abierta en la parte superior con las otras pestañas.

Como en la imagen, hay casi todos los símbolos que utilizamos en las equivalencias/ecuaciones. Cuando estés escribiendo en el campo de la ecuación en el documento de Word, puedes escribir el atajo que aparece cuando flotas el ratón sobre un símbolo.

Curiosamente, los mismos atajos que se utilizan en Word para escribir el símbolo son también los mismos que se utilizan aquí. Por ejemplo, se escribe \vee para hacer $\vee$ Al igual que en Microsoft Office.

Este es un ejemplo de lo que podría hacer con Microsoft Word.