Universal Quantification Operation

From GM-RKB
(Redirected from Universal Quantifier)
Jump to navigation Jump to search

A Universal Quantification Operation is a predicate logic quantification operation that requires a Predicate Sentence to be True for every possible Variable Member of a Logic Variable.



References

2013