Order Adequacy "Q is Order Adequate..."

It looks to me like that is saying that if theory T allows you assert that each of n statements is true, then it allows you to assert that all of them are true.
 
Top