Fork me on GitHub
Math for the people, by the people.

User login

quantifier

Defines: 
scope, universal quantifier, existential quantifier, bound, bounded quantifier, vacuous, vacuous quantification
Synonym: 
restricted quantifier
Type of Math Object: 
Definition
Major Section: 
Reference

Mathematics Subject Classification

03B15 no label found03B10 no label found

Comments

RE: Existential Quantifier definition

Using '(x)' for the universal quantifier and 'Ex' for existential quantifer, the definition of 'existential quantifier' as the dual of the universal should read:

Exg(x) = ~(x)~g(x)

That is, for the dual of the universal, replace the existential with the universal.

Thanks, Ken

Subscribe to Comments for "quantifier"