「面積１２の長方形は縦３横４である」は偽。
何故なら上の文字列全体の意味は「面積１２の長方形は必ず縦３横４」
という意味だから、反例が有れば偽。

しかし「面積１２の長方形」という文字列に「日本人」という意味を
持たせて、「縦３横４」という文字列に「人」という意味を持たせれば
真である。

命題とは真偽が定まっている判断のことだが、無意味な文字列の
フォーミュラは、命題になるような意味の定め方に依存して真偽が
定まる。だからフォーミュラには真偽どころか意味も定まっていない。

フォーミュラ（論理式）を命題と呼んではならない。こういう記号論理の
１頁目から始めなくては、ゲーデルのころの古い論理学の話は出来ない。