七、依据以上诸公式，把同品的各形式与异品的各形式以选言形式相结合，则九句因成立
同品异品
有 有 （1）（ M=P） ∨ （M=?）
非有 （2）｛ （M=P） ∨ （M＜～?｝≡（M＜P）
有非有（3）（M=P） ∨ （M＜?）
非有 有 （4）｛ （M＜～P）∨ （M=P（-））｝≡（M＜～P）(https://www.daowen.com)
非有 （5）｛ （M＜～P） ∨ （M＜～P（-））｝≡｛（M＜～P） ∨ （M＜P）｝
有非有（6）｛ （M＜～P） ∨ （M＜P（-））｝≡（M＜～P）
有非有有 （7）（ M＜P） ∨ （M=P（-） ）
非有 （8）｛ （M＜P） ∨ （M＜～?）｝≡（M＜P）
有非有（9）（ M＜P） ∨ （M＜?）
