1 Answers
In abstract algebra, a monadic Boolean algebra is an algebraic structure A with signature
where ⟨A, ·, +, ', 0, 1⟩ is a Boolean algebra.
The monadic/unary operator ∃ denotes the existential quantifier, which satisfies the identities :
∃x is the existential closure of x. Dual to ∃ is the unary operator ∀, the universal quantifier, defined as ∀x := '.
5 views
Answered