- 624 名前：１３２人目の素数さん [2011/12/05(月) 23:23:39.39 ]
- たびたび質問してすみません。
Boolosの『THE LOGIC OF PROVABILITY』をお持ちの方に質問です。
pp.37のFinSeqという論理式の定義
: ヨa<s ヨb<s ヨk<s (s = pair(pair(a,b),k)) ∧ ∀c<s ∀d<s (pair(c,d)<pair(a,b)→ヨi<k β(c,d,i)≠β(a,b,i))
において、∧以降の定義の意味がよくわかりません。
場合によっては、(pair(c,d)<pair(a,b) かつ ¬ヨi<k β(c,d,i)≠β(a,b,i)) もありうるため、このような定義をしているのでしょうか？
よろしくお願いいたします。
