Hilbert II - JAVA-Packages - Principia Mathematica II
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 PatternVariables 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
 

Hilbert II - JAVA-Packages - Principia Mathematica II
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.