For example, given the assertion that $m, n \in \mathbb{R}^{+}$, then $m + n \in \mathbb{R}^{+}$. This is not something that was originally asserted, but it is a direct logical consequence of the original assertion. Is there a commonly used term for such a thing?
Asked
Active
Viewed 44 times
1
-
3Uh... “implication,” “consequence.” – symplectomorphic Oct 04 '18 at 18:22
-
"If A, then B" is a conditional : A is the antecedent and B is the consequent. – Mauro ALLEGRANZA Oct 04 '18 at 18:56
-
Also, A is a sufficient condition for B. – Mauro ALLEGRANZA Oct 04 '18 at 18:57