class Logica::Predicates::Contradiction
Public Instance Methods
generalization_of_other?(other)
click to toggle source
# File lib/logica/predicates/contradiction.rb, line 16 def generalization_of_other?(other) false end
negated()
click to toggle source
# File lib/logica/predicates/contradiction.rb, line 8 def negated predicate_factory.tautology end
satisfied_by?(*arguments)
click to toggle source
# File lib/logica/predicates/contradiction.rb, line 4 def satisfied_by?(*arguments) false end
specialization_of?(other)
click to toggle source
# File lib/logica/predicates/contradiction.rb, line 12 def specialization_of?(other) true end
to_s()
click to toggle source
# File lib/logica/predicates/contradiction.rb, line 20 def to_s 'FALSE |n|' end