13/10/16 23:21:56.25
論理式の集合といった場合に、
実際に論理式をすべて列挙してないのにそんなことが言えるのかという疑問だろうか。
「論理式全体の集合」ってのはイメージしやすいようにするための言葉くらいに思ったほうがよい。
実際は「論理式とは～～」という定義があって、
「記号列が論理式の定義をみたす場合は、～～～」といったように言い換えられる話だから。
13/10/16 23:21:56.25
論理式の集合といった場合に、
実際に論理式をすべて列挙してないのにそんなことが言えるのかという疑問だろうか。
「論理式全体の集合」ってのはイメージしやすいようにするための言葉くらいに思ったほうがよい。
実際は「論理式とは～～」という定義があって、
「記号列が論理式の定義をみたす場合は、～～～」といったように言い換えられる話だから。