本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261008-advance-20261012-r03-proposition-foundations · 2026-10-08 · 100 題
古典整數語境；三列有序pairs=[[0, 0], [-1, 1], [1, -1]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([真, 真, 假], [0, -2, 2])
封閉比較真假與差=([真, 真, 假], [0, -2, 2])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[-11, 0], [0, 2], [0, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([真, 真, 真], [-11, -2, 0])
封閉比較真假與差=([真, 真, 真], [-11, -2, 0])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[-10, 0], [-1, 2], [1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([真, 真, 假], [-10, -3, 1])
封閉比較真假與差=([真, 真, 假], [-10, -3, 1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[-9, 0], [-2, 2], [-1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([真, 真, 真], [-9, -4, -1])
封閉比較真假與差=([真, 真, 真], [-9, -4, -1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[-8, 0], [-3, 2], [0, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([真, 真, 真], [-8, -5, 0])
封閉比較真假與差=([真, 真, 真], [-8, -5, 0])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[-7, 0], [-4, 2], [1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([真, 真, 假], [-7, -6, 1])
封閉比較真假與差=([真, 真, 假], [-7, -6, 1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[-6, 0], [-5, 2], [-1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([真, 真, 真], [-6, -7, -1])
封閉比較真假與差=([真, 真, 真], [-6, -7, -1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[-5, 0], [-6, 2], [0, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([真, 真, 真], [-5, -8, 0])
封閉比較真假與差=([真, 真, 真], [-5, -8, 0])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[-4, 0], [-7, 2], [1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([真, 真, 假], [-4, -9, 1])
封閉比較真假與差=([真, 真, 假], [-4, -9, 1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[-3, 0], [-8, 2], [-1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([真, 真, 真], [-3, -10, -1])
封閉比較真假與差=([真, 真, 真], [-3, -10, -1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[-2, 0], [-9, 2], [0, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([真, 真, 真], [-2, -11, 0])
封閉比較真假與差=([真, 真, 真], [-2, -11, 0])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[-1, 0], [-10, 2], [1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([真, 真, 假], [-1, -12, 1])
封閉比較真假與差=([真, 真, 假], [-1, -12, 1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[0, 0], [-11, 2], [-1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([真, 真, 真], [0, -13, -1])
封閉比較真假與差=([真, 真, 真], [0, -13, -1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[1, 0], [-12, 2], [0, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([假, 真, 真], [1, -14, 0])
封閉比較真假與差=([假, 真, 真], [1, -14, 0])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[2, 0], [-13, 2], [1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([假, 真, 假], [2, -15, 1])
封閉比較真假與差=([假, 真, 假], [2, -15, 1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[3, 0], [-14, 2], [-1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([假, 真, 真], [3, -16, -1])
封閉比較真假與差=([假, 真, 真], [3, -16, -1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[4, 0], [-15, 2], [0, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([假, 真, 真], [4, -17, 0])
封閉比較真假與差=([假, 真, 真], [4, -17, 0])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[5, 0], [-16, 2], [1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([假, 真, 假], [5, -18, 1])
封閉比較真假與差=([假, 真, 假], [5, -18, 1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[6, 0], [-17, 2], [-1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([假, 真, 真], [6, -19, -1])
封閉比較真假與差=([假, 真, 真], [6, -19, -1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[7, 0], [-18, 2], [0, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([假, 真, 真], [7, -20, 0])
封閉比較真假與差=([假, 真, 真], [7, -20, 0])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[8, 0], [-19, 2], [1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([假, 真, 假], [8, -21, 1])
封閉比較真假與差=([假, 真, 假], [8, -21, 1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[9, 0], [-20, 2], [-1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([假, 真, 真], [9, -22, -1])
封閉比較真假與差=([假, 真, 真], [9, -22, -1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[10, 0], [-21, 2], [0, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([假, 真, 真], [10, -23, 0])
封閉比較真假與差=([假, 真, 真], [10, -23, 0])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[11, 0], [-22, 2], [1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([假, 真, 假], [11, -24, 1])
封閉比較真假與差=([假, 真, 假], [11, -24, 1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；三列有序pairs=[[12, 0], [-23, 2], [-1, 0]]，第i列命題是a_i≤b_i。依序列 (三個命題真假, 三個有號a_i−b_i)。
([假, 真, 真], [12, -25, -1])
封閉比較真假與差=([假, 真, 真], [12, -25, -1])。逐列比較並相減，負差及零差通過≤；真假不等於已有證明。
命題 · qf-density12-proposition-comparison-witnesses · candidate
古典整數語境；語句x≤-2，assignment=null（未綁定）。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(否, 未封閉, 不適用)
封閉資格與代入真假=(否, 未封閉, 不適用)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤-1，assignment=-12。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 真, -11)
封閉資格與代入真假=(是, 真, -11)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤0，assignment=-10。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 真, -10)
封閉資格與代入真假=(是, 真, -10)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤1，assignment=-8。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 真, -9)
封閉資格與代入真假=(是, 真, -9)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤2，assignment=-6。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 真, -8)
封閉資格與代入真假=(是, 真, -8)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤-2，assignment=-9。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 真, -7)
封閉資格與代入真假=(是, 真, -7)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤-1，assignment=-7。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 真, -6)
封閉資格與代入真假=(是, 真, -6)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤0，assignment=-5。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 真, -5)
封閉資格與代入真假=(是, 真, -5)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤1，assignment=-3。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 真, -4)
封閉資格與代入真假=(是, 真, -4)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤2，assignment=-1。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 真, -3)
封閉資格與代入真假=(是, 真, -3)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤-2，assignment=-4。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 真, -2)
封閉資格與代入真假=(是, 真, -2)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤-1，assignment=-2。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 真, -1)
封閉資格與代入真假=(是, 真, -1)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤0，assignment=0。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 真, 0)
封閉資格與代入真假=(是, 真, 0)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤1，assignment=2。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 假, 1)
封閉資格與代入真假=(是, 假, 1)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤2，assignment=4。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 假, 2)
封閉資格與代入真假=(是, 假, 2)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤-2，assignment=1。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 假, 3)
封閉資格與代入真假=(是, 假, 3)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤-1，assignment=3。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 假, 4)
封閉資格與代入真假=(是, 假, 4)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤0，assignment=5。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 假, 5)
封閉資格與代入真假=(是, 假, 5)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤1，assignment=7。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 假, 6)
封閉資格與代入真假=(是, 假, 6)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤2，assignment=9。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 假, 7)
封閉資格與代入真假=(是, 假, 7)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤-2，assignment=6。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 假, 8)
封閉資格與代入真假=(是, 假, 8)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤-1，assignment=8。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 假, 9)
封閉資格與代入真假=(是, 假, 9)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤0，assignment=10。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 假, 10)
封閉資格與代入真假=(是, 假, 10)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤1，assignment=12。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 假, 11)
封閉資格與代入真假=(是, 假, 11)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；語句x≤2，assignment=14。依序答 (是否已封閉, 封閉後真假或未封閉, 代入差或不適用)。
(是, 假, 12)
封閉資格與代入真假=(是, 假, 12)。有整數綁定才代入判定，未封閉不給真假，不把未綁定當假；真假不等於已有證明。
命題 · qf-density12-proposition-open-binding · candidate
古典整數語境；pairs=[[0, 0], [-1, 1], [1, -1]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([真, 假, 假], [假, 真, 真], [0, -2, 2])
相等命題及否定見證=([真, 假, 假], [假, 真, 真], [0, -2, 2])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[-11, 0], [0, 2], [0, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 真], [真, 真, 假], [-11, -2, 0])
相等命題及否定見證=([假, 假, 真], [真, 真, 假], [-11, -2, 0])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[-10, 0], [-1, 2], [1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [-10, -3, 1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [-10, -3, 1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[-9, 0], [-2, 2], [-1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [-9, -4, -1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [-9, -4, -1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[-8, 0], [-3, 2], [0, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 真], [真, 真, 假], [-8, -5, 0])
相等命題及否定見證=([假, 假, 真], [真, 真, 假], [-8, -5, 0])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[-7, 0], [-4, 2], [1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [-7, -6, 1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [-7, -6, 1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[-6, 0], [-5, 2], [-1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [-6, -7, -1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [-6, -7, -1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[-5, 0], [-6, 2], [0, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 真], [真, 真, 假], [-5, -8, 0])
相等命題及否定見證=([假, 假, 真], [真, 真, 假], [-5, -8, 0])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[-4, 0], [-7, 2], [1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [-4, -9, 1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [-4, -9, 1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[-3, 0], [-8, 2], [-1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [-3, -10, -1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [-3, -10, -1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[-2, 0], [-9, 2], [0, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 真], [真, 真, 假], [-2, -11, 0])
相等命題及否定見證=([假, 假, 真], [真, 真, 假], [-2, -11, 0])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[-1, 0], [-10, 2], [1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [-1, -12, 1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [-1, -12, 1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[0, 0], [-11, 2], [-1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([真, 假, 假], [假, 真, 真], [0, -13, -1])
相等命題及否定見證=([真, 假, 假], [假, 真, 真], [0, -13, -1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[1, 0], [-12, 2], [0, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 真], [真, 真, 假], [1, -14, 0])
相等命題及否定見證=([假, 假, 真], [真, 真, 假], [1, -14, 0])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[2, 0], [-13, 2], [1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [2, -15, 1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [2, -15, 1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[3, 0], [-14, 2], [-1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [3, -16, -1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [3, -16, -1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[4, 0], [-15, 2], [0, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 真], [真, 真, 假], [4, -17, 0])
相等命題及否定見證=([假, 假, 真], [真, 真, 假], [4, -17, 0])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[5, 0], [-16, 2], [1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [5, -18, 1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [5, -18, 1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[6, 0], [-17, 2], [-1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [6, -19, -1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [6, -19, -1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[7, 0], [-18, 2], [0, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 真], [真, 真, 假], [7, -20, 0])
相等命題及否定見證=([假, 假, 真], [真, 真, 假], [7, -20, 0])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[8, 0], [-19, 2], [1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [8, -21, 1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [8, -21, 1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[9, 0], [-20, 2], [-1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [9, -22, -1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [9, -22, -1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[10, 0], [-21, 2], [0, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 真], [真, 真, 假], [10, -23, 0])
相等命題及否定見證=([假, 假, 真], [真, 真, 假], [10, -23, 0])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[11, 0], [-22, 2], [1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [11, -24, 1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [11, -24, 1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[12, 0], [-23, 2], [-1, 0]]，P_i為a_i=b_i。依序列 (三個P真假, 三個¬P真假, 三個有號a_i−b_i)。
([假, 假, 假], [真, 真, 真], [12, -25, -1])
相等命題及否定見證=([假, 假, 假], [真, 真, 真], [12, -25, -1])。差零才相等，再逐項取古典否定；假命題仍是命題，真假不等於已有證明。
命題 · qf-density12-proposition-equality-negation-witnesses · candidate
古典整數語境；pairs=[[0, 0], [-1, 1], [1, -1]]，P_i為a_i≤b_i；候選自報reported=[1, 1, 0]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([真, 真, 假], [是, 是, 是], [0, -2, 2])
候選自報與真假核對=([真, 真, 假], [是, 是, 是], [0, -2, 2])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[-11, 0], [0, 2], [0, 0]]，P_i為a_i≤b_i；候選自報reported=[1, 0, 0]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([真, 真, 真], [是, 否, 否], [-11, -2, 0])
候選自報與真假核對=([真, 真, 真], [是, 否, 否], [-11, -2, 0])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[-10, 0], [-1, 2], [1, 0]]，P_i為a_i≤b_i；候選自報reported=[0, 1, 0]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([真, 真, 假], [否, 是, 是], [-10, -3, 1])
候選自報與真假核對=([真, 真, 假], [否, 是, 是], [-10, -3, 1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[-9, 0], [-2, 2], [-1, 0]]，P_i為a_i≤b_i；候選自報reported=[1, 1, 0]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([真, 真, 真], [是, 是, 否], [-9, -4, -1])
候選自報與真假核對=([真, 真, 真], [是, 是, 否], [-9, -4, -1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[-8, 0], [-3, 2], [0, 0]]，P_i為a_i≤b_i；候選自報reported=[0, 0, 1]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([真, 真, 真], [否, 否, 是], [-8, -5, 0])
候選自報與真假核對=([真, 真, 真], [否, 否, 是], [-8, -5, 0])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[-7, 0], [-4, 2], [1, 0]]，P_i為a_i≤b_i；候選自報reported=[1, 0, 1]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([真, 真, 假], [是, 否, 否], [-7, -6, 1])
候選自報與真假核對=([真, 真, 假], [是, 否, 否], [-7, -6, 1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[-6, 0], [-5, 2], [-1, 0]]，P_i為a_i≤b_i；候選自報reported=[0, 1, 1]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([真, 真, 真], [否, 是, 是], [-6, -7, -1])
候選自報與真假核對=([真, 真, 真], [否, 是, 是], [-6, -7, -1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[-5, 0], [-6, 2], [0, 0]]，P_i為a_i≤b_i；候選自報reported=[1, 1, 1]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([真, 真, 真], [是, 是, 是], [-5, -8, 0])
候選自報與真假核對=([真, 真, 真], [是, 是, 是], [-5, -8, 0])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[-4, 0], [-7, 2], [1, 0]]，P_i為a_i≤b_i；候選自報reported=[0, 0, 0]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([真, 真, 假], [否, 否, 是], [-4, -9, 1])
候選自報與真假核對=([真, 真, 假], [否, 否, 是], [-4, -9, 1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[-3, 0], [-8, 2], [-1, 0]]，P_i為a_i≤b_i；候選自報reported=[1, 0, 0]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([真, 真, 真], [是, 否, 否], [-3, -10, -1])
候選自報與真假核對=([真, 真, 真], [是, 否, 否], [-3, -10, -1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[-2, 0], [-9, 2], [0, 0]]，P_i為a_i≤b_i；候選自報reported=[0, 1, 0]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([真, 真, 真], [否, 是, 否], [-2, -11, 0])
候選自報與真假核對=([真, 真, 真], [否, 是, 否], [-2, -11, 0])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[-1, 0], [-10, 2], [1, 0]]，P_i為a_i≤b_i；候選自報reported=[1, 1, 0]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([真, 真, 假], [是, 是, 是], [-1, -12, 1])
候選自報與真假核對=([真, 真, 假], [是, 是, 是], [-1, -12, 1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[0, 0], [-11, 2], [-1, 0]]，P_i為a_i≤b_i；候選自報reported=[0, 0, 1]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([真, 真, 真], [否, 否, 是], [0, -13, -1])
候選自報與真假核對=([真, 真, 真], [否, 否, 是], [0, -13, -1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[1, 0], [-12, 2], [0, 0]]，P_i為a_i≤b_i；候選自報reported=[1, 0, 1]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([假, 真, 真], [否, 否, 是], [1, -14, 0])
候選自報與真假核對=([假, 真, 真], [否, 否, 是], [1, -14, 0])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[2, 0], [-13, 2], [1, 0]]，P_i為a_i≤b_i；候選自報reported=[0, 1, 1]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([假, 真, 假], [是, 是, 否], [2, -15, 1])
候選自報與真假核對=([假, 真, 假], [是, 是, 否], [2, -15, 1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[3, 0], [-14, 2], [-1, 0]]，P_i為a_i≤b_i；候選自報reported=[1, 1, 1]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([假, 真, 真], [否, 是, 是], [3, -16, -1])
候選自報與真假核對=([假, 真, 真], [否, 是, 是], [3, -16, -1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[4, 0], [-15, 2], [0, 0]]，P_i為a_i≤b_i；候選自報reported=[0, 0, 0]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([假, 真, 真], [是, 否, 否], [4, -17, 0])
候選自報與真假核對=([假, 真, 真], [是, 否, 否], [4, -17, 0])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[5, 0], [-16, 2], [1, 0]]，P_i為a_i≤b_i；候選自報reported=[1, 0, 0]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([假, 真, 假], [否, 否, 是], [5, -18, 1])
候選自報與真假核對=([假, 真, 假], [否, 否, 是], [5, -18, 1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[6, 0], [-17, 2], [-1, 0]]，P_i為a_i≤b_i；候選自報reported=[0, 1, 0]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([假, 真, 真], [是, 是, 否], [6, -19, -1])
候選自報與真假核對=([假, 真, 真], [是, 是, 否], [6, -19, -1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[7, 0], [-18, 2], [0, 0]]，P_i為a_i≤b_i；候選自報reported=[1, 1, 0]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([假, 真, 真], [否, 是, 否], [7, -20, 0])
候選自報與真假核對=([假, 真, 真], [否, 是, 否], [7, -20, 0])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[8, 0], [-19, 2], [1, 0]]，P_i為a_i≤b_i；候選自報reported=[0, 0, 1]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([假, 真, 假], [是, 否, 否], [8, -21, 1])
候選自報與真假核對=([假, 真, 假], [是, 否, 否], [8, -21, 1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[9, 0], [-20, 2], [-1, 0]]，P_i為a_i≤b_i；候選自報reported=[1, 0, 1]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([假, 真, 真], [否, 否, 是], [9, -22, -1])
候選自報與真假核對=([假, 真, 真], [否, 否, 是], [9, -22, -1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[10, 0], [-21, 2], [0, 0]]，P_i為a_i≤b_i；候選自報reported=[0, 1, 1]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([假, 真, 真], [是, 是, 是], [10, -23, 0])
候選自報與真假核對=([假, 真, 真], [是, 是, 是], [10, -23, 0])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[11, 0], [-22, 2], [1, 0]]，P_i為a_i≤b_i；候選自報reported=[1, 1, 1]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([假, 真, 假], [否, 是, 否], [11, -24, 1])
候選自報與真假核對=([假, 真, 假], [否, 是, 否], [11, -24, 1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate
古典整數語境；pairs=[[12, 0], [-23, 2], [-1, 0]]，P_i為a_i≤b_i；候選自報reported=[0, 0, 0]，1自報真、0自報假。依序答 (實際真假, 自報是否匹配, 有號a_i−b_i)。
([假, 真, 真], [是, 否, 否], [12, -25, -1])
候選自報與真假核對=([假, 真, 真], [是, 否, 否], [12, -25, -1])。由整數比較另算真假再核各報告；候選自報非證據，真假不等於已有證明。
命題 · qf-density12-proposition-report-defects · candidate