42. 命題の例
42
a
• 26.7℃:t
• 2023/12/2:d
A
• t:centigrade
• d:date
概念インスタンスと概念クラス
• a は A である
• A は、t と d で特徴付けられる
• t は、centigrade の意味と値域に従う
• A である a の t は、26.7℃である
• …
A B
mn1 mn2
1 *
a
R1
b1
b2
r1:R1
r2:R1
• a は b1 の mn2 である
• b1 は a の mn1 である
• b2 は mn1 である a を必ず一つ持つ
• a は mn2 である B のインスタンスを複数持てる
• …
P
C
D
• p は c か d のどちらかである
• c は p である
• …
クリティカルシンキングの道具として最適なのではないか