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