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

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