class Axiom::Function::Proposition::Contradiction

A class representing a contradiction

Public Class Methods

call() click to toggle source

Evaluate the proposition

@example

Contradiction.call  # => false

@return [false]

@api public

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

Return the inverse proposition class

@example

Contradiction.inverse  # => Tautology

@return [Class<Tautology>]

@api public

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

Public Instance Methods

and(_other) click to toggle source

Logically AND the proposition with another expression

@example

contradiction.and(other)  # => contradiction

@param [Function] _other

@return [self]

@api public

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

Logically OR the proposition with another expression

@example

contradiction.or(other)  # => other

@param [Function] other

@return [Function]

@api public

# File lib/axiom/function/proposition/contradiction.rb, line 59
def or(other)
  other
end