你跳着看的？在这里那个横T符合代表后面句子是前面公式集的定理。就跟前面公式集一样只不过把公式推演中的公式换成了T里面的句子，而后面那个O读作西格玛是希腊字母，他的大写就是公式集的那个符号，在这里代指一个句子，他可以属于T也可以不属于，句体来说就是一个由公式和逻辑符号且或非组成的序列。