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?
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