19/03/05 09:39:35.69 rF7tPU6M.net
>>891
あぁやっと分かった
俺が>>882で聞いてることをお前は勘違いしてたわけだ
俺は自由変数うんぬんかんぬんを厳密に(形式的に)定義しようとなるとｘ=ｘ∧∃x(ｘ=ｘ)みたいな論理式に注意を払わないといけないから>>882見たいに聞いたんだが
お前は、俺が自由変数うんぬんかんぬんの定義を理解することが難しいと思ってる、って思ってたわけね？
19/03/05 09:39:35.69 rF7tPU6M.net
>>891
あぁやっと分かった
俺が>>882で聞いてることをお前は勘違いしてたわけだ
俺は自由変数うんぬんかんぬんを厳密に(形式的に)定義しようとなるとｘ=ｘ∧∃x(ｘ=ｘ)みたいな論理式に注意を払わないといけないから>>882見たいに聞いたんだが
お前は、俺が自由変数うんぬんかんぬんの定義を理解することが難しいと思ってる、って思ってたわけね？