An epistemic proposition is true if and only if it is a member of corresponding world.

• 一个认知命题是真的,当且仅当它属于相应的认知世界之中。