argutia.logic
Interface Literal

All Known Subinterfaces:
Atom
All Known Implementing Classes:
NegativeLiteral, PropositionalVariable, TruthSymbol
public interface Literal
Method Summary
 Literal getOppose()
           
 
Method Detail

getOppose

Literal getOppose()
Argutia JavaDoc
23 décembre 2007