In logic, a relationship between statements where one statement necessarily follows from another; if the first is true, the second must be true. It represents the strongest form of logical connection between propositions.
From Old French entailler, meaning 'to cut into,' originally a legal term for restricting inheritance. The logical usage evolved from the idea that premises 'cut into' or restrict what conclusions can legitimately follow.
Try Another Word