| 释义 |
stronger statement If a statement P implies a statement Q and Q does not imply P, then Q is the weaker statement and P is the stronger statement. For example, x is even is a weaker statement than x equals 2, but a stronger statement than x is an integer. Compare equipollent, A fortiori.
|