封闭的公式在任何解释下都变成命题 (高离散数学)

问题描述:

封闭的公式在任何解释下都变成命题 (高离散数学)

对的