法思想史宿題

| | Comments (0) | TrackBacks (0)
BOCARDO (bocardo) の証明が抜けでました。(難問なので最後に着手すればよい)

なお、問いの番号は重要でないので、気にしないでよい。

1) BAROCO (Baroco) の理解と例を作る

2) BOCARDO (bocardo) の証明

3) DISAMIS (disamis) の証明

4) CAMESTRES (camestres) の証明

5) FRESISON (fresison) の証明

(なお、意欲と余裕の有る人は暗唱用詩文の全部について)
略記法で書いてみる
例を考える
オイラー図、ヴェン図を書いてみる
中世スコラ由来の証明を考える

Barbara Celarent Darii Ferioque prioris
Cesare Camestres Festino Baroco secundae
Tertia Darapti Disamis Datisi Felapton
Bocardo Ferison habet, quarta insuper addit
Bamalip Calemes Dimatis Fesapo Fresison




0 TrackBacks

Listed below are links to blogs that reference this entry: 法思想史宿題.

TrackBack URL for this entry: http://www.chuo.net/mt/mt-tb.cgi/168

Leave a comment

About this Entry

This page contains a single entry by MTAdmin published on October 27, 2010 5:24 PM.

法思想史宿題 was the previous entry in this blog.

CISG is the next entry in this blog.

Find recent content on the main index or look in the archives to find all content.

Powered by Movable Type 4.01