# 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 frequently in data communication: If a frame check fails negatively, then the data packet in question must be requested again; or, if a collision occurs on the Ethernet, then the transmission must be interrupted and restarted; or, if congestion occurs on the routing path, then an alternate routing path must be found.