遍與不遍的問答格式並舉例

◆A與B二詞之間的遍與不遍關係如下：
凡A遍是B嗎？凡B遍是A嗎？
凡A遍不是B嗎？凡B遍不是A嗎？
凡A不遍是B嗎？凡B不遍是A嗎？
以上各關係以何理由來成立？

【1】名標A與其定義B
攻方：C應是A，因為是B故。
守方：（凡B遍是A）不遍。
攻方：應有遍，因為＊B是A的定義故。
守方：（若B是A的定義，則凡B遍是A）不遍。
攻方：應有遍，因為依據定義（與名標）的公設故。
守方：同意。

【2】A與B是同義詞
攻方：C應是A，因為是B故。
守方：（凡B遍是A）不遍。
攻方：應有遍，因為＊B是A的同義詞故。
守方：（若B是A的同義詞，則凡B遍是A）不遍。
攻方：應有遍，因為依據同義詞的公設故。
守方：同意。

【3】A是整體（母集合）而B是部分（子集合）
攻方：C應是A，因為是B故。
守方：（凡B遍是A）不遍。
攻方：應有遍，因為＊B是A的部分故。
守方：（若B是A的部分，則凡B遍是A）不遍。
攻方：應有遍，因為依據部分（與整體）的公設故。
守方：同意。
又有：
攻方：凡A不遍是B嗎？
守方：為什麼？
攻方：凡A不遍是B，因為＊A是B的整體故。
守方：（若A是B的整體，則凡A不遍是B）不遍。
攻方：應有遍，因為依據部分與整體的公設故。
守方：同意。
又有（已知A1等是A的元素而不是B）：
攻方：凡A不遍是B嗎？
守方：為什麼？
攻方：凡A不遍是B，因為＊A1是A而不是B故。
守方：（若A1是A而不是B，則凡A不遍是B）不遍。
攻方：應有遍，因為依據例外的公設故。
守方：同意。

〔例子〕
攻方：凡是無常，遍是物質嗎？
守方：為什麼？
攻方：凡是無常，不遍是物質，因為無常是物質的整體故。
守方：不遍。
攻方：應有遍，因為依據整體的公設故。

或：
攻方：凡是無常，不遍是物質，因為馬是無常而不是物質故。
守方：不遍。
攻方：應有遍，因為依據例外的公設故。

【4】A與 B是部分交集
攻方：凡B不遍是A嗎？
守方：為什麼？
攻方：凡B不遍是A，因為B與A是部分交集故。
守方：（若B與A是部分交集，則凡B不遍是A）不遍。
攻方：應有遍，因為依據部分交集的公設故。
守方：同意。
又有（已知B1等是B的元素而不是A）：
攻方：凡B不遍是A嗎？
守方：為什麼？
攻方：凡B不遍是A，因為＊B1是B而不是A故。
守方：（若B1是B而不是A，則凡B不遍是A）不遍。
攻方：應有遍，因為依據例外的公設故。
守方：同意。
〔例子〕
攻方：凡是男人，不遍是商人嗎？
守方：為什麼？
攻方：凡是男人，不遍是商人，因為男人與商人是部分交集故。
守方：不遍。
攻方：應有遍，因為依據部分交集的公設故。

或：
攻方：凡是男人，不遍是商人，因為孔子是男人而不是商人故。
守方：不遍。
攻方：應有遍，因為依據例外的公設故。

【5】A與B是相違
攻方：C應不是A，因為是B故。
守方：（凡B遍不是A）不遍。
攻方：應有遍，因為＊B與A相違故。
守方：（若B與A相違，則凡B遍不是A）不遍。
攻方：應有遍，因為依據相違的公設故。
守方：同意。

【格式總結】
（1）A是名標；B是定義
○凡A遍是B嗎？
為什麼？
凡A遍是B，因為A是B的名標故。
不遍。
應有遍，因為依據名標的公設故。

○凡B遍是A嗎？
為什麼？
凡B遍是A，因為B是A的定義故。
不遍。
應有遍，因為依據定義的公設故。

（2）A與B是同義詞
○凡A遍是B嗎？
為什麼？
凡A遍是B，因為A是B的同義詞故。
不遍。
應有遍，因為依據同義詞的公設故。

○凡B遍是A嗎？
為什麼？
凡B遍是A，因為B是A的同義詞故。
不遍。
應有遍，因為依據同義詞的公設故。

（3）A是整體，B是部分
○凡B遍是A嗎？
為什麼？
凡B遍是A，因為B是A的部分故。
不遍。
應有遍，因為依據部分的公設故。

○凡A不遍是B嗎？
為什麼？
凡A不遍是B，因為A是B的整體故。
不遍。
應有遍，因為依據整體的公設故。

◎已知A1等是A的元素而不是B
○凡A不遍是B嗎？
為什麼？
凡A不遍是B，因為A1是A而不是B故。
不遍。
應有遍，因為依據例外的公設故。

（4）A與 B是部分交集
○凡A不遍是B嗎？
為什麼？
凡A不遍是B，因為A與 B是部分交集故。
不遍。
應有遍，因為依據部分交集的公設故。

○凡B不遍是A嗎？
為什麼？
凡B不遍是A，因為B與A是部分交集故。
不遍。
應有遍，因為依據部分交集的公設故。

◎已知A1等是A的元素而不是B
○凡A不遍是B嗎？
為什麼？
凡A不遍是B，因為A1是A而不是B故。
不遍。
應有遍，因為依據例外的公設故。

◎已知B1等是B的元素而不是A
○凡B不遍是A嗎？
為什麼？
凡B不遍是A，因為B1是B而不是A故。
不遍。
應有遍，因為依據例外的公設故。

（5）A與B是相違
○凡A遍不是B嗎？
為什麼？
凡A遍不是B，因為A與B相違故。
不遍。
應有遍，因為依據相違的公設故。

○凡B遍不是A嗎？
為什麼？
凡B遍不是A，因為B與A相違故。
不遍。
應有遍，因為依據相違的公設故。

【結論】
（1）A與B是同義詞、定義與名標，則：
凡A遍是B；凡B遍是A：同義詞的公設。
凡A遍是B；凡B遍是A：定義與名標的公設。
（2）A是整體而B是部分，則：
凡B遍是A：部分的公設。
凡A不遍是B：例外的公設。
（3）A與 B部分交集，則：
凡A不遍是B；凡B不遍是A：部分交集的公設。
凡A不遍是B；凡B不遍是A：例外的公設。
◆當A是整體而B是部分，或A與 B是部分交集時，有一「例外的公設」，定義如下：
若A1是A而不是B，則凡A不遍是B。
說明：A1是A的成分、部分、元素，但A1是在B的範圍之外，所以稱作「例外」。
如：
孔子是人而不是美國人，則凡人不遍是美國人。
孔子是老師而不是美國人，則凡老師不遍是美國人。

（4）A與B是相違，則：
凡A遍不是B；凡B遍不是A：相違的公設。

說明：
A的元素（成分）有A1、A2 、A 3等。
B的元素（成分）有B1、B2 、B 3等。
○例外的公設（有二種情形：A是整體而B是部分；A與B部分交集）：
若一些Ax是A而不是B，則凡A不遍是B。
○整體的公設（一種情形：A是整體而B是部分）：
若一些Ax是A而不是B，則凡A不遍是B。
○相違的公設：
若所有Ax是A而不是B，則凡A遍不是B。