Normas de identidad y cuantificador para la lógica cuantificador
lógica cuantificador abarca las reglas de la lógica proposicional y se expande sobre ellos para que pueda escribir declaraciones enteras con símbolos lógicos. Esos símbolos entran en juego cuando se trabaja con identidades, o constantes intercambiables. Las reglas de la identidad se muestran aquí:
Y, cuando se habla de identidades, se puede cuantificar declaraciones, usando las reglas en la tabla siguiente:
