Class: Hilbert::World::PropositionalLogic::Taut

Inherits:

Object

• Object
• Hilbert::World::PropositionalLogic::Taut

Includes:

Base

Defined in:

lib/hilbert/world/propositional_logic.rb

Overview

Tautology

Instance Method Summary

• #!@ ⇒ Object
• #*(q) ⇒ Object
• #+(q) ⇒ Object
• #to_s ⇒ Object
• #~@ ⇒ Object

Methods included from Utils

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

Methods included from Operator

#<=>, #>=

Instance Method Details

#!@ ⇒ Object

# File 'lib/hilbert/world/propositional_logic.rb', line 88

def !@;   $tout  end

#*(q) ⇒ Object

# File 'lib/hilbert/world/propositional_logic.rb', line 87

def *(q); q      end

#+(q) ⇒ Object

# File 'lib/hilbert/world/propositional_logic.rb', line 86

def +(q); $tout  end

#to_s ⇒ Object

# File 'lib/hilbert/world/propositional_logic.rb', line 89

def to_s; 'TRUE' end

#~@ ⇒ Object

# File 'lib/hilbert/world/propositional_logic.rb', line 85

def ~@;   $utout end