The adequacy condition require that all the equivalence of the form (t) should are logical consequence of this definition.

实质上适当，即所有(t)形等值式是该定义的逻辑后承。

youdao

The adequacy condition require that all the equivalence of the form (t) should are logical consequence of this definition.

实质上适当，即所有(t)形等值式是该定义的逻辑后承。

youdao