論理学では、「A∧(B∧C)が真と仮定すれば、Bは真である」と言え、言い換えれば、"Btrue"という判断は"A∧(B∧C)true"という判断に依存している。
在逻辑中，我们读做“假定A∧(B∧C)为真，我们证实B为真”；换句话说，判断“Btrue”依赖于假定的判断“A∧(B∧C)true”。