25/11/11 14:55:03.79 BiGzycGA.net
>>760
>>セタへの問題
>>Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で,
>>yはPの自由変数でないとする.
>>このとき
>>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
>>の自由変数をすべて書け
>ふっふ、ほっほ
>あのな、それよりか
>（以下、関係ない話題に話を逸らす）
>趣旨は
>”集合論の論理式 ∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))”
>はコンピュータ言語でいえば、低級のアセンブラみたいなもので
>圏論は 、高級言語 あるいは フローチャート風の ノーコード・・・
要するに分からなかったけど、
分からないといいたくないんで
誤魔化したんでしょ ド素人の世田君（笑）
答えは・・・自由変数なし！
自由変数とは、∀や∃によって束縛されてない変数のこと
∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z)) の場合
w_0,,w_i-1,x,y,zは束縛変数
そして、P(z)の自由変数はz,x,w_0,,w_i-1だが
これらはすべて外側の限量子で束縛されている
したがって自由変数はない
こんなもん自由変数が何だか知ってたら
ハナクソほじりながら即答できる楽勝問題だわな
つまり即答できない時点で負け犬確定（笑）