Module: Propose::Tree

Defined in:

lib/propose/tree/atom.rb,
lib/propose/tree/node.rb,
lib/propose/tree/verum.rb,
lib/propose/tree/falsum.rb,
lib/propose/tree/sequent.rb,
lib/propose/tree/negation.rb,
lib/propose/tree/conjunction.rb,
lib/propose/tree/disjunction.rb,
lib/propose/tree/implication.rb,
lib/propose/tree/unary_operation.rb,
lib/propose/tree/binary_operation.rb

Defined Under Namespace

Classes: Atom, BinaryOperation, Conjunction, Disjunction, Falsum, Implication, Negation, Node, Sequent, UnaryOperation, Verum