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

N

n - Variable in class com.meyling.principia.logic.rule.UseAbbreviation

proof line number

n - Variable in class com.meyling.principia.logic.rule.RightAdditionEquivalence

proof line of A1 => A2

n - Variable in class com.meyling.principia.logic.rule.Particularization

proof line of A0 => A1

n - Variable in class com.meyling.principia.logic.rule.ReplacePropositionVariable

proof line number to operate on

n - Variable in class com.meyling.principia.logic.rule.LeftAdditionImplication

proof line of A1 => A2

n - Variable in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable

proof line number to operate on

n - Variable in class com.meyling.principia.logic.rule.RightAddition

proof line of A1 => A2

n - Variable in class com.meyling.principia.logic.rule.SubstLine

proof line of A1

n - Variable in class com.meyling.principia.logic.rule.Generalization

proof line of A0 => A1

n - Variable in class com.meyling.principia.logic.rule.LeftAdditionEquivalence

proof line of A1 => A2

n - Variable in class com.meyling.principia.logic.rule.ConjunctionRule

proof line of A1

n - Variable in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable

proof line number to operate on

n - Variable in class com.meyling.principia.logic.rule.RightAdditionConjunction

proof line of A1 => A2

n - Variable in class com.meyling.principia.logic.rule.ReplacePredicateVariable

proof line number to operate on

n - Variable in class com.meyling.principia.logic.rule.ReverseImplication

proof line of A1 => A2

n - Variable in class com.meyling.principia.logic.rule.ApplySentence

proof line of A1 => A2

n - Variable in class com.meyling.principia.logic.rule.ModusPonens

proof line of A0

n - Variable in class com.meyling.principia.logic.rule.ApplyAxiom

proof line of A1 => A2

n - Variable in class com.meyling.principia.logic.rule.HypotheticalSyllogism

proof line of A1 => A2

n - Variable in class com.meyling.principia.logic.rule.LeftAdditionConjunction

proof line of A1 => A2

n - Variable in class com.meyling.principia.logic.rule.ReverseAbbreviation

proof line number

n - Variable in class com.meyling.principia.logic.rule.RightAdditionImplication

proof line of A1 => A2

n - Variable in class com.meyling.principia.logic.rule.LeftAddition

proof line of A1 => A2

n - Variable in class com.meyling.principia.logic.rule.ElementaryEquivalence

proof line of to apply equivalence

name - Variable in class com.meyling.principia.module.ModuleAddress

name of module

Name - class com.meyling.principia.module.Name.

A reference label.

Name(Argument[]) - Constructor for class com.meyling.principia.module.Name

Constructs a module name.

Name(String) - Constructor for class com.meyling.principia.module.Name

Constructs a module name.

Negation - class com.meyling.principia.logic.basic.Negation.

Logical negation, logical "not".

NEGATION - Static variable in class com.meyling.principia.logic.basic.BasicCreator

string for a Negation

Negation(Argument[]) - Constructor for class com.meyling.principia.logic.basic.Negation

Constructs negation of first argument.

Negation(Formula) - Constructor for class com.meyling.principia.logic.basic.Negation

Constructs negation of formula.

NEXT - Static variable in class com.meyling.principia.logic.basic.PackageTest

seperates several arguments

NEXT - Static variable in class com.meyling.principia.module.PackageTest

seperates several arguments

NO_ARGUMENT_NUMBER - Static variable in interface com.meyling.principia.argument.ArgumentConstants

NO_ARGUMENT_SEPARATOR - Static variable in interface com.meyling.principia.argument.ArgumentConstants

NO_BEGIN_ARGUMENT_LIST - Static variable in interface com.meyling.principia.argument.ArgumentConstants

NO_DIRECT_PERIODS - Static variable in interface com.meyling.principia.module.ModuleConstants

NO_ELEMENTARY_EQUIVALENCE - Static variable in interface com.meyling.principia.logic.rule.RuleConstants

NO_EMPTY_STRING - Static variable in interface com.meyling.principia.module.ModuleConstants

NO_END_ARGUMENT_LIST - Static variable in interface com.meyling.principia.argument.ArgumentConstants

NO_FOLLOWING_TEXT_ALLOWED - Static variable in interface com.meyling.principia.module.ModuleConstants

NO_FORMULA_NUMBER - Static variable in interface com.meyling.principia.logic.basic.BasicConstants

NO_LEADING_ZERO_ALLOWED - Static variable in interface com.meyling.principia.io.IoConstants

NO_LETTER_DIGIT_STRING_FOUND - Static variable in interface com.meyling.principia.argument.ArgumentConstants

NO_LETTER_DIGIT_STRING_FOUND - Static variable in interface com.meyling.principia.io.IoConstants

NO_MODULE_ADDRESS - Static variable in interface com.meyling.principia.module.ModuleConstants

NO_NEGATIVE_INTEGER - Static variable in interface com.meyling.principia.argument.ArgumentConstants

NO_PATTERN_VARIABLE_ALLOWED - Static variable in interface com.meyling.principia.logic.rule.RuleConstants

NO_PATTERN_VARIABLE_IN_AXIOM - Static variable in interface com.meyling.principia.module.ModuleConstants

NO_PATTERN_VARIABLE_IN_PROPOSITION - Static variable in interface com.meyling.principia.module.ModuleConstants

NO_PERIODS_WITHOUT_DIGIT - Static variable in interface com.meyling.principia.module.ModuleConstants

NO_POSITIVE_INTEGER_FOUND - Static variable in interface com.meyling.principia.argument.ArgumentConstants

NO_POSITIVE_INTEGER_FOUND - Static variable in interface com.meyling.principia.io.IoConstants

NO_QUOTE_TERMINATION - Static variable in interface com.meyling.principia.argument.ArgumentConstants

NO_QUOTE_TERMINATION - Static variable in interface com.meyling.principia.io.IoConstants

NO_QUOTED_STRING - Static variable in interface com.meyling.principia.argument.ArgumentConstants

NO_QUOTED_STRING - Static variable in interface com.meyling.principia.io.IoConstants

NO_RECURSIVE_MATCH - Static variable in interface com.meyling.principia.argument.ArgumentConstants

NO_URL - Static variable in interface com.meyling.principia.module.ModuleConstants

NOT_ASSIGNED - Static variable in interface com.meyling.principia.argument.ArgumentConstants

NULLPOINTER_PARAMETER - Static variable in interface com.meyling.principia.argument.ArgumentConstants

NULLPOINTER_PARAMETER - Static variable in interface com.meyling.principia.io.IoConstants

number - Variable in class com.meyling.principia.argument.Counter

the plain number

number - Variable in class com.meyling.principia.argument.PatternVariable

number of pattern variable

number - Variable in class com.meyling.principia.argument.Enumerator

the plain number

number - Variable in class com.meyling.principia.logic.basic.BasicSubjectVariablePatternVariable

number of pattern variable

number - Variable in class com.meyling.principia.logic.basic.PropositionVariable

number of proposition variable

number - Variable in class com.meyling.principia.logic.basic.BasicPatternVariable

number of pattern variable

number - Variable in class com.meyling.principia.logic.basic.BasicPredicateVariablePatternVariable

number of pattern variable

number - Variable in class com.meyling.principia.logic.basic.PredicateVariable

predicate variable identity number

number - Variable in class com.meyling.principia.logic.basic.BasicFormulaPatternVariable

number of pattern variable

number - Variable in class com.meyling.principia.logic.basic.SubjectVariable

the number of the subject variable

NUMBER - Static variable in interface com.meyling.principia.argument.ArgumentConstants

numbers - Variable in class com.meyling.principia.module.Version

all version numbers