• EXISTENTIAL AND UNIVERSAL QUANTIFIER OPERATORS ON BOOLEAN ALGEBRAS AND THEIR PROPERTIES

ADEL MOHAMMED AL-ODHARI*

Abstract


In this paper, we investigate, explain and enlarged existential and universal quantifier operators on Boolean Algebras. Boolean algebra essentially introduced by George Boole in 1850's to express statement logic in algebraic. The existential and universal quantifier operators are introduced by Halmos, when he developed Monadic and Polyadic Algebra from Boolean Algebra.


Keywords


Boolean Algebras, Existential quantifier operator, Universal quantifier operator.

Full Text:

PDF


Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
© 2010-2020 International Journal of Mathematical Archive (IJMA)
Copyright Agreement & Authorship Responsibility
Web Counter