Class Contradiction

java.lang.Object
All Implemented Interfaces:
Formula, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

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