>>82
真が同等とかの意味がよく分からん
様相論理に「必然的に真」とかの区別ならあるが