🪴 Cyril

可判定性

2024年5月02日1分钟阅读

能否给出一个可行方法，完成对任意公式的判定类型（类型、等价）问题

命题公式都是可判定的

关系图谱

反向链接