四种命题包括原命题、逆命题、否命题和逆否命题。
原命题与逆命题互逆，逆命题与逆否命题互否，逆否命题与否命题互逆，否命题与原命题互否，原命题与逆否命题相互逆否，逆命题与否命题相互逆否。
令使相较于命途行者，其不同点在于，星神有时会主动将命途的力量赐予凡人，而这种凡人便被成为令使。他们是从星神处直接获得力量，通常被称为，星神意志的代行人。
命题定理与证明在数学中扮演着至关重要的角色。简单来说，命题是一个可以判断为真或假的陈述句，例如“所有三角形都有三个角”。而定理则是一个已经被证明为真的命题，它通常是数学理论的基础。为了验证一个命题是否为定理，我们需要进行严格的证明过程，这通常涉及逻辑推理和已知定理的应用。
这种表示判断的语句在数学中不仅有助于构建知识体系，还确保了数学结论的严谨性和可靠性。