論理 — Dev Blog

主語、述語を明確に定義
主語→集合。状態。ANDで具体化、ORで抽象化、NOTも使って考慮もれを防ぐ
述語→状態〜状態とその間。テキストベースならどこの文字か？まで明確に