Module: Hilbert::World::PropositionalLogic::Base

Includes:

Operator, Utils

Included in:

Atom, FORM, NEG, Taut, UTaut

Defined in:

lib/hilbert/world/propositional_logic.rb

Method Summary

Methods included from Utils

#include?, #is_and?, #is_form?, #is_neg?, #is_or?, #neg?

Methods included from Operator

#*, #+, #<=>, #>=, #~@