Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Class
com.meyling.principia.logic.basic.Quantifier

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".
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.