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