5.1b3 实然与应然

#! (ink pub (T i) (attr (type Topic)) (edge (supset 5.1b 逻辑学)))

实然，实际是什么样，他 应然，应该是什么样，我