一階の言語 - mrsekut-p

一階の言語

/mrsekut-book-4007305803/057

$ Lは以下の物などの集合(全てを含む必要はない)

e.g. 0, 1, 2,..

arityが0の関数記号とも捉えられる

e.g. +, *,..

e.g. ∧, ¬, →,...

言語はただの記号の集まり

ここに解釈を与えるのが、ストラクチャ