Variable implies`Const`

implies: (antecedent: boolean, consequent: boolean) => boolean = ifThen

Alias for ifThen.

Implements the logical implication (if-then) operator.

Type Declaration

- (antecedent: boolean, consequent: boolean): boolean
- Implements the logical implication (if-then) operator.
  
  Returns true if the antecedent is false or the consequent is true. In logical terms: antecedent → consequent is equivalent to ¬antecedent ∨ consequent.
  
  Truth table:
  - true → true = true (valid implication)
  - true → false = false (invalid implication)
  - false → true = true (vacuously true)
  - false → false = true (vacuously true)
  Parameters
  - antecedent: boolean
    The condition (if part)
  - consequent: boolean
    The result that should hold if the condition is true (then part)
  Returns boolean
  true if the implication holds, false otherwise

Param: antecedent

The condition (if part)

Param: consequent

The result that should hold if the condition is true (then part)

Returns

true if the implication holds, false otherwise