implies method

bool implies(
  1. bool consequence
)

Returns whether this bool logically implies consequence.

Given two boolean expressions p and q, the results of "p implies q" (denoted as p → q) are shown by the following truth table:

p q p → q
T T T
T F F
F T T
F F F

Implementation

// ignore: avoid_positional_boolean_parameters, https://github.com/dart-lang/linter/issues/1638
bool implies(bool consequence) => !this || consequence;