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)
Implements the logical implication (if-then) operator.
Returns
trueif the antecedent isfalseor the consequent istrue. In logical terms:antecedent → consequentis 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)