class Logica::Predicates::Tautology

Public Instance Methods

generalization_of_negation_of?(other) click to toggle source
# File lib/logica/predicates/tautology.rb, line 20
def generalization_of_negation_of?(other)
  true
end
generalization_of_other?(other) click to toggle source
# File lib/logica/predicates/tautology.rb, line 16
def generalization_of_other?(other)
  true
end
negated() click to toggle source
# File lib/logica/predicates/tautology.rb, line 8
def negated
  predicate_factory.contradiction
end
satisfied_by?(*arguments) click to toggle source
# File lib/logica/predicates/tautology.rb, line 4
def satisfied_by?(*arguments)
  true
end
specialization_of?(other) click to toggle source
# File lib/logica/predicates/tautology.rb, line 12
def specialization_of?(other)
  other.generalization_of_tautology?(self)
end
to_s() click to toggle source
# File lib/logica/predicates/tautology.rb, line 24
def to_s
  'TRUE |n|'
end