class Satre::False

Public Instance Methods

atoms() click to toggle source
# File lib/satre/formula/propositional_logic/false.rb, line 21
def atoms
  []
end
eval(*) click to toggle source
# File lib/satre/formula/propositional_logic/false.rb, line 17
def eval(*)
  false
end
Also aliased as: holds?
holds?(*)
Alias for: eval
to_s() click to toggle source
# File lib/satre/formula/propositional_logic/false.rb, line 6
def to_s
  '⊥'
end
wellformed?(sig) click to toggle source

False is well-formed

# File lib/satre/formula/propositional_logic/false.rb, line 13
def wellformed?(sig)
  true
end