argutia.logic
Interface Atom

All Superinterfaces:
Literal
All Known Implementing Classes:
PropositionalVariable, TruthSymbol
public interface Atom
extends Literal

Un atome, ou formule atomique, est un symbole de vérité ou une variable propositionnelle.

Author:
Geoffroy AUBRY
See Also:
Formula
Method Summary
 
Methods inherited from interface argutia.logic.Literal
getOppose
 

Argutia JavaDoc
23 décembre 2007