Identité et quantificateurs règles de la logique de quantificateurs

Logique de quantificateurs englobe les règles de la logique propositionnelle et étend sur eux afin que vous puissiez écrire des déclarations entières avec des symboles logiques. Ces symboles entrent en jeu lorsque vous travaillez avec identités, ou constantes interchangeables. Les règles de l'identité sont présentés ici:

image0.jpg

Et, quand on parle de l'identité, vous pouvez quantifier déclarations, en utilisant les règles dans le tableau suivant:

image1.jpg


» » » Identité et quantificateurs règles de la logique de quantificateurs