寻找最弱的前提

Question

我绝对不了解最薄弱的前提。它有什么用，如何计算。您能以这个问题为例向我解释吗？

if (x > y)
 b = x;
else
 b = y;
{b > 0}