Package org.episteme.core.mathematics.logic.predicate

package org.episteme.core.mathematics.logic.predicate
  • Class
    Description
    FirstOrderLogic<T>
    Interface for First-Order Logic (Predicate Logic).
    Formula
    Represents a logical formula in First-Order Logic.
    Predicate<T>
    Represents a predicate (relation) in predicate logic.
    Quantifier<T>
    Represents a quantifier in predicate logic.
    Term
    Represents a term in predicate logic.