Question

Cual es la diferencia entre = y ≡?

Answer 1

Respuesta:

Entiendo que ≡ es equivalencia lógica, "iff". = es un símbolo de equivalencia numérica. Y: = es un reclamo de identidad. A menudo solo veo = y: = usado con variables y nombres, mientras que ≡ solo aparece con predicados. No estoy seguro si esto es solo por mi exposición limitada a la lógica o una convención real. ¿Cuál es la gran diferencia si tuviéramos que decir a = b vs a≡b ?. O, para el caso, Px: = Qy?