【交絡】柄谷行人を解体する83【ħ】

T：□P→P もし常にＰならば、Ｐである。
K：□（P→Q）→（□P→□Q） もし常に（ＰならばＱ）ならば、
もし常にＰならば常にＱである。
D：□P→◇P もし常にＰならば、時々Ｐである。
4：□P→□□P もし常にＰならば、常に常にＰである。
5：◇P→□◇P もし時々Ｐならば、常に時々Ｐである。
B：P→□◇P もしＰならば、常に時々Ｐである。