E-Index (PMII - Principia Mathematica II)

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

A B C D E F G H I L M N O P Q R S T U V W

## E

END - Static variable in class com.meyling.principia.logic.basic.PackageTest
  marks end of result
END - Static variable in class com.meyling.principia.module.PackageTest
  marks end of result
EQUIVALENCE - Static variable in class com.meyling.principia.logic.basic.BasicCreator
  string for an `Equivalence`
EXCEPTION_TEST_FILE_PREFIX - Static variable in class com.meyling.principia.logic.basic.PackageTest
  test input file
EXCEPTION_TEST_FILE_PREFIX - Static variable in class com.meyling.principia.module.PackageTest
  test input file
EXISTENTIAL_QUANTIFIER - Static variable in class com.meyling.principia.logic.basic.BasicCreator
  string for a `ExistentialQuantifier`
EXPECTED_IN_ARGUMENT - Static variable in interface com.meyling.principia.argument.ArgumentConstants
EXPECTED_OUTPUT_FILE_POSTFIX - Static variable in class com.meyling.principia.logic.basic.PackageTest
  expected output file name postfix
EXPECTED_OUTPUT_FILE_POSTFIX - Static variable in class com.meyling.principia.module.PackageTest
  expected output file name postfix
ElementaryEquivalence - class com.meyling.principia.logic.rule.ElementaryEquivalence.
  Implemention of using an elementary equivalence: `a => b` `b => a` `A(a)` `---------` `A(b)`
ElementaryEquivalence(Argument[]) - Constructor for class com.meyling.principia.logic.rule.ElementaryEquivalence
  Constructs an elementary equivalence rule by two sentence references and an occurence number.
Email - class com.meyling.principia.module.Email.
  An email address.
Email(Argument[]) - Constructor for class com.meyling.principia.module.Email
  Constructs a module description.
Enumerator - class com.meyling.principia.argument.Enumerator.
  An object of this class represents a number, that could be compared and increased.
Enumerator() - Constructor for class com.meyling.principia.argument.Enumerator
  Constructs an object.
Enumerator(int) - Constructor for class com.meyling.principia.argument.Enumerator
  Constructs an object with a certain start number.
Equivalence - class com.meyling.principia.logic.basic.Equivalence.
  Equivalence of formulas.
Equivalence(Argument[]) - Constructor for class com.meyling.principia.logic.basic.Equivalence
  Constructs a logical equivalence.
Equivalence(Formula, Formula) - Constructor for class com.meyling.principia.logic.basic.Equivalence
  Constructs a logical equivalence.
ExistentialQuantifier - class com.meyling.principia.logic.basic.ExistentialQuantifier.
  Existential quantifier, logical "exists".
ExistentialQuantifier(Argument[]) - Constructor for class com.meyling.principia.logic.basic.ExistentialQuantifier
  Constructs a logical existential quantifier.
emptyIntersection(PatternVariables) - Method in class com.meyling.principia.argument.PatternVariables
  Are all of these `PatternVariable`s not in the set?
emptyIntersection(PropositionVariables) - Method in class com.meyling.principia.logic.basic.PropositionVariables
  Does this object have an empty intersection with another set of proposition variables?
emptyIntersection(SubjectVariables) - Method in class com.meyling.principia.logic.basic.SubjectVariables
  Does this object have an empty intersection with another set of subject variables and pattern variables?
equalWith(Version) - Method in class com.meyling.principia.module.Version
  Check if this version is equal to another one.
equals(Object) - Method in class com.meyling.principia.argument.AbstractArgument
equals(Object) - Method in class com.meyling.principia.argument.AbstractArgumentAtom
equals(Object) - Method in interface com.meyling.principia.argument.Argument
  Is this object equal to the given one?
equals(Object) - Method in class com.meyling.principia.argument.Counter
equals(PatternVariables) - Method in class com.meyling.principia.argument.PatternVariables
  Is this object equal to another one?
equals(Object) - Method in class com.meyling.principia.argument.Text
equals(PropositionVariables) - Method in class com.meyling.principia.logic.basic.PropositionVariables
  Is this object equal to another one?
equals(SubjectVariables) - Method in class com.meyling.principia.logic.basic.SubjectVariables
  Is this object equal to another one?
equals(Object) - Method in class com.meyling.principia.module.ModuleAddress
equals(Object) - Method in class com.meyling.principia.module.ModuleState
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.AddAxiom
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.AddSentence
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ApplyAxiom
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ApplySentence
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ConjunctionRule
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ElementaryEquivalence
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.Generalization
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.HypotheticalSyllogism
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.LeftAddition
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.LeftAdditionConjunction
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.LeftAdditionEquivalence
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.LeftAdditionImplication
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ModusPonens
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.Particularization
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ReplacePredicateVariable
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ReplacePropositionVariable
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ReverseAbbreviation
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.ReverseImplication
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.RightAddition
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.RightAdditionConjunction
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.RightAdditionEquivalence
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.RightAdditionImplication
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in interface com.meyling.principia.logic.rule.Rule
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.SubstLine
  Return proof lines that could replace the proof line `position`.
extendWithout(Module, ProofLineList, int) - Method in class com.meyling.principia.logic.rule.UseAbbreviation

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

A B C D E F G H I L M N O P Q R S T U V W

©left GNU General Public Licence All Rights Reserved.