Open aigarashi opened 6 years ago
(m): 証明が不十分でした.導出 D については,書かれている E-App で終わる場合だけでなく, E-AppRec で終わる可能性を検討しなけ ればなりません.ただし,後者の場合はありえない(矛盾が導ける)ことが
の二点からわかります.
3行目: P(E, e2, i2) の後に閉括弧が必要。
(m): 証明が不十分でした.導出 D については,書かれている E-App で終わる場合だけでなく, E-AppRec で終わる可能性を検討しなけ ればなりません.ただし,後者の場合はありえない(矛盾が導ける)ことが
の二点からわかります.