Identidade e Quantificador Regras para Quantifier Logic

lógica quantificador engloba as regras da lógica sentencial e se expande sobre eles para que você possa escrever instruções inteiras com símbolos lógicos. Esses símbolos entram em jogo quando você trabalha com identidades, ou constantes intercambiáveis. As regras de identidade são mostrados aqui:

E, quando se fala de identidades, você pode quantificar declarações, usando as regras na tabela a seguir: