subjunction

1. (logic) An implication or entailment; A proposition that links two states such that one is a logical consequence of the other.Examples: "The primary form of subjunction is 'If P, then Q', which tells us that '{P and nonQ} is logically impossible'."; "In the case of subjunction, the reading of →as 'if ... then' is actually strongly misleading."; "Since supervaluationists, as we have seen, do accept some disjunctions (e.g. A V ~A) while rejecting each disjunct, they must, as we have also seen, fail subjunction."