“如果”在独立友好逻辑中是不可表达的
"Iff" is not expressible in independence-friendly logic
摘要：
普通的一阶逻辑具有这样的性质：两个公式在一个结构中具有相同的意义，当且仅当公式“当且仅当”在该结构中为真。我们证明了独立友好逻辑不具有这种性质。
英文摘要：
Ordinary first-order logic has the property that two formulas ϕand ψhave the same meaning in a structure if and only if the formula ``ϕiff ψ'' is true in the structure. We prove that independence-friendly logic does not have this property.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
