様相modalityの4つの意味、8つの型の効率的な記憶の仕方
記号の読み方記号全8パターンは、以下の1-4とi,iiの組み合わせで構成され、4×2=8パターンある。
1.□:
「Ø」
2.¬□:
「とはかぎらない」
3.♢:
「いい」
4.¬♢:
「はいけない」
i. p(s):
必ずpである(□のとき)/
pであって(♢のとき)
ii. ¬p(s):
必ずpでない(□のとき)/
pでなくて(♢のとき)
4つの意味意味の各々に2つの型があてられ、両型の互換性(同値性)はex.のように容易に確かめられる。
必然・義務:
A/¬O