Hilbert II - JAVA-Packages - Principia Mathematica II

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

Packages that use AbstractFormula
com.meyling.principia.logic.basic   
 

Uses of AbstractFormula in com.meyling.principia.logic.basic
 

Subclasses of AbstractFormula in com.meyling.principia.logic.basic
 class Conjunction
          Conjunction of formulas.
 class Disjunction
          Disjunction of formulas.
 class Equivalence
          Equivalence of formulas.
 class ExistentialQuantifier
          Existential quantifier, logical "exists".
 class Implication
          Implication of formulas.
 class LogicalOperatorWithTwoFormulas
          LogicalOperatorWithTwoFormulas of formulas.
 class Negation
          Logical negation, logical "not".
 class PredicateVariable
          Predicate variable with argument list.
 class PropositionVariable
          Represents an arbitrary logical proposition.
 class Quantifier
          Basis class for Quantifier.
 class UniversalQuantifier
          Universal qualifier, logical "for all".
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.