● 命題論理 　　命題論理の基本概念・基本技術を説明しました。 　　（1） 「S-P」 を単位とする。 　　（2） 真理値表 　　（3） ウィトゲンシュタイン 氏の 「論理哲学論考」 （および、「哲学探究」 への萌芽）。 　　初期の 「Ｔ字形 ER手法」 （TM の前身） が ウィトゲンシュタイン 氏の 「論理哲学論考」 を 　　基底にして作られている からくり を説明しました。 　　→ 板書写真 （1） 　　なお、「主選言標準形」 が トートロジー であることを証明する宿題を課しましたが、証明は 　　以下のとおり。 　　I ＝ (p ∨ ¬p) ∧ (q ∨ ¬q) ＝ (p ∧ q) ∨ (p ∧ ¬q) ∨ (¬p ∧ q) ∨ (¬p ∧ ¬q). 　　次回は、述語論理を説明します。 　 　● モデ 家の TMD、アトリビュート・リスト 　　「モデ 家」 の TMD において、「resource」 に関する アトリビュート・リスト を作成するために、「resource」 の 「関係」 の読みかたを基本形で説明しました。 　　→ 板書写真 （2）

▲ ページのトップ

▼ このウインドウを閉じる