implies

implies(a, b) → boolean · Type

Logical implication (material conditional). Returns false only when a is true and b is false.

• a (required): antecedent boolean

• b (required): consequent boolean

implies(true, true)                      // true
implies(true, false)                     // false
implies(false, true)                     // true
implies(false, false)                    // true

{
  valid: implies($input.isPremium, $input.hasSubscription)
}