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