「述語論理学」の日記一覧

会員以外にも公開

地球は一つ

地球は一つ、資源は有限、 地球の地勢は、不平等、 地球が養う人口は、有限。 地球の資源が有限ならば、 資源の人類共有か 帝国独占か いずれにせよ 世界連邦化は避けられない。 *ここには  1○○ならば、★★であるか、☆☆である。 2いずれにせよ、□□である。 という論法が使われている。 形式論理学の三段論法よりも有効な 述語論理学の発展系論法である。