|Premises: premises are assumptions within logical conclusions. From them follows a conclusion. Premises are written in a separate line. This makes them different from implications written in one line that contain an antecedent with one or more conditions and a post-sentence. See also syllogisms.|
Books on Amazon
In pairs/final chains/Poundstone: premises must be checked in pairs (all combinations), because contradictions can be in the transition to the next element: E.g. All grass is green - all hay is brown, hay is grass - "in pairs" that means "takes into account all combinations" - the number of necessary verifications doubles with every adventitious element.
Therefore we cannot check our complex beliefs for consistency - (300 elements: 38 million years of computing time).
I W. Poundstone Im Labyrinth des Denkens, Reinbek 1995