Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

## Hierarchy For Package com.meyling.principia.logic.basic

Package Hierarchies:
  All Packages

## Class Hierarchy

- class java.lang.Object
  - class com.meyling.principia.argument.AbstractArgument (implements com.meyling.principia.argument.Argument)
    - class com.meyling.principia.argument.AbstractArgumentList (implements com.meyling.principia.argument.Argument)
      - class com.meyling.principia.logic.basic.AbstractFormula (implements com.meyling.principia.logic.basic.Formula)
        - class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.basic.Formula)
          - class com.meyling.principia.logic.basic.Conjunction
          - class com.meyling.principia.logic.basic.Disjunction
          - class com.meyling.principia.logic.basic.Equivalence
          - class com.meyling.principia.logic.basic.Implication
        - class com.meyling.principia.logic.basic.Negation (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.basic.Formula)
        - class com.meyling.principia.logic.basic.PredicateVariable (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.basic.Formula)
        - class com.meyling.principia.logic.basic.PropositionVariable (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.basic.Formula)
        - class com.meyling.principia.logic.basic.Quantifier (implements com.meyling.principia.argument.Argument, com.meyling.principia.logic.basic.Formula)
          - class com.meyling.principia.logic.basic.ExistentialQuantifier
          - class com.meyling.principia.logic.basic.UniversalQuantifier
      - class com.meyling.principia.logic.basic.RegularArgumentList (implements com.meyling.principia.argument.Argument)
      - class com.meyling.principia.logic.basic.SubjectVariable (implements com.meyling.principia.logic.basic.SubjectVariableMarker)
    - class com.meyling.principia.argument.PatternVariable (implements java.lang.Comparable, com.meyling.principia.argument.CounterMarker)
      - class com.meyling.principia.logic.basic.BasicPatternVariable (implements com.meyling.principia.argument.CounterMarker)
        - class com.meyling.principia.logic.basic.BasicFormulaPatternVariable (implements com.meyling.principia.logic.basic.Formula)
        - class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable (implements com.meyling.principia.logic.basic.Formula)
      - class com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable (implements com.meyling.principia.logic.basic.SubjectVariableMarker)
  - class junit.framework.Assert
    - class junit.framework.TestCase (implements junit.framework.Test)
      - class com.meyling.principia.logic.basic.TestConjunction
  - class com.meyling.principia.logic.basic.BasicCreator
  - class com.meyling.principia.logic.basic.PackageTest
  - class com.meyling.principia.argument.PatternVariables
    - class com.meyling.principia.logic.basic.BasicPatternVariables
  - class com.meyling.principia.logic.basic.PropositionVariables
  - class com.meyling.principia.logic.basic.SubjectVariables

## Interface Hierarchy

- interface com.meyling.principia.argument.Argument
  - interface com.meyling.principia.logic.basic.Formula
  - interface com.meyling.principia.logic.basic.SubjectVariableMarker
- interface com.meyling.principia.argument.ArgumentConstants
  - interface com.meyling.principia.logic.basic.BasicConstants

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.