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