implication
Implication is a term from propositional logic, Boolean algebra; also called "if-then function".
The logical if-then relation is a statement of truth. It states that if "x" is true and "y" is also true, the statement has a truth value even if "x" is false, regardless of whether "y" is false or true. Only the conjunction "x" is true and "y" is false is not assigned a truth value.
Implication is used exorbitantly often in data communication: If a frame check fails negatively, then the data packet in question must be requested again; or, if a collision occurs in the Ethernet, then the transmission must be interrupted and restarted; or, if a congestion occurs on the routing path, then a substitute routing path must be found.