艾伦对这些东西非常熟悉，任何一本逻辑教材的第一页都会讲这些运算。
All of this would have been entirely familiar to Alan , the calculus of propositions appearing on the first page of any text on logic .
逻辑页