|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Quantifier | |
| com.meyling.principia.logic.basic | |
| Uses of Quantifier in com.meyling.principia.logic.basic |
| Subclasses of Quantifier in com.meyling.principia.logic.basic | |
class |
ExistentialQuantifier
Existential quantifier, logical "exists". |
class |
UniversalQuantifier
Universal qualifier, logical "for all". |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||