Module: Axiom::Function::Connective::Negation::Methods

Extended by:

Aliasable

Included in:

Attribute::Boolean, Predicate, Proposition, Proposition::Contradiction, Proposition::Tautology

Defined in:

lib/axiom/function/connective/negation.rb

Instance Method Summary

• #not(other = Undefined) ⇒ Connective

  Negate the expression or logically AND and negate another expression.

Methods included from Aliasable

inheritable_alias

Instance Method Details

#not ⇒ Negation #not(other) ⇒ Conjunction

Negate the expression or logically AND and negate another expression

Examples:

with no argument

negation = expression.not

with other argument

conjunction = expression.not(other)

Overloads:

• #not ⇒ Negation

  Negates the expression

  Returns:

  • (Negation)
• #not(other) ⇒ Conjunction

  Logically AND the other negated expression

  Parameters:

  • other (Function) —

    optional other function to and

  Returns:

  • (Conjunction)

Returns:

• (Connective)

# File 'lib/axiom/function/connective/negation.rb', line 86

def not(other = Undefined)
  if other.equal?(Undefined)
    Negation.new(self)
  else
    self.and(Negation.new(other))
  end
end