来自柴森春的问题
一道逻辑学(面向计算机科学的数理逻辑)证明题引入新的联接词Φ↔Ψ作为缩写代替(Φ→Ψ)∧(Ψ→Φ).对↔构建引入和消去规则,如果把Φ↔Ψ表示为(Φ→Ψ)∧(Ψ→Φ),证明
一道逻辑学(面向计算机科学的数理逻辑)证明题
引入新的联接词Φ↔Ψ作为缩写代替(Φ→Ψ)∧(Ψ→Φ).对↔构建引入和消去规则,如果把Φ↔Ψ表示为(Φ→Ψ)∧(Ψ→Φ),证明他们是导出规则
1回答
2020-11-10 14:24