Sha256: 3ec1b2a78c8f3f3ef06fcb4ad1a7dd46717c308eec156cf2344d40aee2046b90
Contents?: true
Size: 1.38 KB
Versions: 4
Compression:
Stored size: 1.38 KB
Contents
# encoding: utf-8
module Veritas
class Function
class Proposition
# A class representing a contradiction
class Contradiction < Proposition
include Connective::Negation::Methods
# Return the inverse proposition class
#
# @example
# Contradiction.inverse # => Tautology
#
# @return [Class<Tautology>]
#
# @api public
def self.inverse
Tautology
end
# Evaluate the proposition
#
# @example
# Contradiction.call # => false
#
# @return [false]
#
# @api public
def self.call
false
end
# Logically AND the proposition with another expression
#
# @example
# contradiction.and(other) # => contradiction
#
# @param [Function] other
#
# @return [self]
#
# @api public
def and(other)
self
end
# Logically OR the proposition with another expression
#
# @example
# contradiction.or(other) # => other
#
# @param [Function] other
#
# @return [Function]
#
# @api public
def or(other)
other
end
end # class Contradiction
end # class Proposition
end # module Algebra
end # module Veritas
Version data entries
4 entries across 4 versions & 1 rubygems