A Cluster of propositions with a structure that exhibits some inference is called :
Among the following propositions two are related in such a way that they can both be true...