Up 形式言語 作成: 2026-01-05
更新: 2026-01-05

    形式言語は，数学 (現代数学) がこれの見本になる。

    形式言語は，はじめに
    　　文生成規則
    　　文の真偽を定める公理と推論規則
    を示す。
    それから，定義によって語を導入する。

    語の定義は，語の意味を示すのではなく，その語を用いた真の文を示す。
    これは，文生成規則の追加ということになる。。


    真な文を，命題という。
    公理は，命題である。
    形式言語の展開は，文生成規則と推論規則を使って，命題を生成することである。

    この形式言語から，つぎのことがわかる：
    　　「意味とは，命題の生成」