12/01/28 23:32:22.22
397です。レスありがとうございます。
もうすこし追記します。その先生によると
Lpの論理式（Ｆ）とは、次の(1)～(4)を繰り返し適用して構成される
有限の記号列のことである。
(1)各atomic formula αはＦである。
(2)αはすでにＦであるとわかっている⇒（￢α）もＦである。
(3)α,β∈Ｆ⇒(α⊃β）,(α∧β）,（α∨β）∈Ｆ
(4)α∈Ｆ⇒（∀xα）∈Ｆ
というのが定義のようです。
素人にゆっくり教えてやろうという講義ではなく、先生の独り言的な講義
だったため、素人のこちらは全くわかりませんでした…。