第２章 論理学の人工言語をつくる

命題論理のシンタックスを導入。
人工言語Lと呼ぶ。

人口言語Lが日本語などの自然言語とある意味同列におけるということなのがわかった。
また、¬や∨が「否定」や「かつ」という日本語に対応することがセマンティクスに属しているということを、今まで捉えられていなかった。

勉強になるなぁ。