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