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

V

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

quantify with this subject variable

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

quantify with this subject variable

variable - Variable in class com.meyling.principia.logic.basic.Quantifier

subject variable of this quantifier

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

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

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

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

VariableList - class com.meyling.principia.argument.VariableList.

Dynamic list of arguments.

VariableList(Argument[]) - Constructor for class com.meyling.principia.argument.VariableList

Constructs a dynamic list of arguments.

variables - Variable in class com.meyling.principia.argument.PatternVariables

here is the list

variables - Variable in class com.meyling.principia.logic.basic.SubjectVariables

here is the list

variables - Variable in class com.meyling.principia.logic.basic.PropositionVariables

here is the list

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

arguments of predicate

version - Static variable in class com.meyling.principia.logic.rule.UseAbbreviation

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.RightAdditionEquivalence

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.Particularization

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.ReplacePropositionVariable

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.LeftAdditionImplication

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.RenameBoundSubjectVariable

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.RightAddition

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.SubstLine

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.Generalization

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.LeftAdditionEquivalence

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.ConjunctionRule

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.RenameFreeSubjectVariable

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.RightAdditionConjunction

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.ReplacePredicateVariable

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.ReverseImplication

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.AddSentence

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.AddAxiom

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.ApplySentence

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.ModusPonens

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.ApplyAxiom

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.HypotheticalSyllogism

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.LeftAdditionConjunction

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.ReverseAbbreviation

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.RightAdditionImplication

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.LeftAddition

minimum version required for using this rule

version - Static variable in class com.meyling.principia.logic.rule.ElementaryEquivalence

minimum version required for using this rule

Version - class com.meyling.principia.module.Version.

A version description.

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

Constructs a version description.

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

Constructs a version description.