Package org.episteme.core.mathematics.logic.propositional
package org.episteme.core.mathematics.logic.propositional
Contains fundamental propositional logic components including
-
ClassDescriptionClassical two-valued Boolean logic.Proposition<T>Represents a logical proposition.TruthValue<T>Represents a truth value in a logical system.