arbitrary proposition
任意命题
以上为机器翻译结果，长、整句建议使用 人工翻译 。
In a set of propositions if an arbitrary proposition at least had a deducing relation with any other one, then this set of propositions was called a proposition system.
在一个命题集中，其中任意一个命题都至少与其它某一个命题有“推出”关系，就称这个命题集的图式为一个命题系。
youdao
应用推荐
模块上移
模块下移
不移动