Class: Hilbert::World::PropositionalLogic::UTaut

Inherits:
Object
  • Object
show all
Includes:
Base
Defined in:
lib/hilbert/world/propositional_logic.rb

Overview

Non Tautology

Instance Method Summary collapse

Methods included from Utils

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

Methods included from Operator

#<=>, #>=

Instance Method Details

#!@ ⇒ Object 



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

def !@;   $utout  end

#*(q) ⇒ Object 



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

def *(q); $utout  end

#+(q) ⇒ Object 



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

def +(q); q       end

#to_s ⇒ Object 



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

def to_s; 'FALSE' end

#~@ ⇒ Object 



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

def ~@;   $tout   end