Class Contradiction

All Implemented Interfaces:
Formula, ClassicalFormula, ComplexLogicalFormula, Conjunctable, Disjunctable, Invertable, LogicStructure, ProbabilityAware, QuantifiedFormula, SimpleLogicalFormula

public class Contradiction extends SpecialFormula
A contradictory formula.
Author:
Matthias Thimm