class Axiom::Function::Proposition::Tautology

A class representing a tautology

Public Class Methods

call() click to toggle source

Evaluate the proposition

@example

Tautology.call  # => true

@return [true]

@api public

# File lib/axiom/function/proposition/tautology.rb, line 31
def self.call
  true
end
inverse() click to toggle source

Return the inverse proposition class

@example

Tautology.inverse  # => Contradiction

@return [Class<Contradiction>]

@api public

# File lib/axiom/function/proposition/tautology.rb, line 19
def self.inverse
  Contradiction
end

Public Instance Methods

and(other) click to toggle source

Logically AND the proposition with another expression

@example

tautology.and(other)  # => other

@param [Function] other

@return [Function]

@api public

# File lib/axiom/function/proposition/tautology.rb, line 45
def and(other)
  other
end
or(_other) click to toggle source

Logically OR the proposition with another expression

@example

tautology.or(other)  # => tautology

@param [Function] _other

@return [self]

@api public

# File lib/axiom/function/proposition/tautology.rb, line 59
def or(_other)
  self
end