1) strong provability
强推出
1.
The Second is to reduce the problem determining if satisfiability of a “unless” property in a UNITY program can be derived from that of othe “unless” properties to the strong provability problem in propositional logic.
我们把验证ｐｕｎｌｅｓｑ在Ｆ中成立是否可由以上ｎ个性质得出转化为强推出的验证，其中强推出是本文引进的新概念。
2) push-out strength
推出强度
3) pushout
推出
1.
Direct Limit and Pushout in the Category of Semimodules;
半模范畴中的正向极限与推出
2.
In this category, solving the homo- " # A geneous linear equation set ( A, B )X = 0(or X = 0) have close contact with seeking the pushout for morphisms B " # .
除环上有零对象的矩阵范畴是Abel范畴,在这个范畴中,解齐次线性方程组( A, B )X = A0(或者X = 0)与求态射{A,B}的推出(或者求态射{A,B}的拉回)有着密切的关系。
4) intensified extration and ore mucking
强采强出
6) Strength of Recommendations
推荐强度
1.
Evolution of Levels of Evidence and Strength of Recommendations in Medical Research;
医学研究中证据分级和推荐强度的演进
补充资料：不能推出
亦称“推不出”。证明中论据和论题之间没有必然联系的逻辑错误。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条