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í:

imagen0.jpg

Y, cuando se habla de identidades, puede cuantificar declaraciones, usando las reglas en la tabla siguiente:

image1.jpg


» » » Normas de identidad y cuantificador para la lógica cuantificador