ｸｲｽﾞ大陸


履歴 検索 最新 出題
No. 61≫ No.62 ≫No. 63
?ボムボム 2010/02/19 20:12
では質問を変えてみます。

「F(X)が曖昧に思えますので、論理式のはっきりとした定義を教えてください。」

これならどうでしょうか？
僕の疑問点の肝は
「Fを定義するためにFが必要に見える」
という点ですから。
返信 編集
?ゲーデル
F(X)=E(X)∧P(X')な感じです。
ただ、確かに曖昧な部分もあったので、>>55のレスと
特に >>59 をご覧ください。 (^_^)
Fは本質的に、必要ありません。