充要条件造句
31, 本文给出了判断可传递二元关系的一个充要条件，以及在计算机上实现的具体算法。
32, 讨论了星核的半连续，给出了其上半连续与下半连续的充要条件。
33, 这里逆否命题是由充要条件推导出来的,有兴趣的朋友可以自行推演。
12