PMII - 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

D

Description - class com.meyling.principia.module.Description.
A module description.
Description(Argument[]) - Constructor for class com.meyling.principia.module.Description
Constructs a module description.
DIFFERENT_PATTERN_VARIABLES - Static variable in interface com.meyling.principia.module.ModuleConstants
 
Disjunction - class com.meyling.principia.logic.basic.Disjunction.
Disjunction of formulas.
DISJUNCTION - Static variable in class com.meyling.principia.logic.basic.BasicCreator
string for a Disjunction
Disjunction(Argument[]) - Constructor for class com.meyling.principia.logic.basic.Disjunction
Constructs a logical disjunction.
Disjunction(Formula, Formula) - Constructor for class com.meyling.principia.logic.basic.Disjunction
Constructs a logical disjunction.

PMII - 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.