本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261009-advance-20261013-r05-logical-connectives-foundations · 2026-10-09 · 100 題
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 0, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 假, 假, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 假, 假, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 1, 1, 1, 1, 1, 1, 1]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([真, 真, 真, 真, 真, 真, 真, 真], [真, 真, 真, 真, 真, 真, 真, 真])
合取與含括析取表=([真, 真, 真, 真, 真, 真, 真, 真], [真, 真, 真, 真, 真, 真, 真, 真])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 0, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 假, 假, 假, 假, 假, 假, 假], [真, 假, 假, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 假, 假, 假, 假, 假, 假, 假], [真, 假, 假, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 0, 0, 0, 0, 0, 0]、B=[1, 0, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([真, 假, 假, 假, 假, 假, 假, 假], [真, 假, 假, 假, 假, 假, 假, 假])
合取與含括析取表=([真, 假, 假, 假, 假, 假, 假, 假], [真, 假, 假, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 1, 0, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 假, 假, 假, 假, 假, 假, 假], [假, 真, 假, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 假, 假, 假, 假, 假, 假, 假], [假, 真, 假, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 0, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 假, 假, 假, 假, 假, 假, 假], [真, 真, 假, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 假, 假, 假, 假, 假, 假, 假], [真, 真, 假, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 0, 0, 0, 0, 0, 0]、B=[1, 0, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([真, 假, 假, 假, 假, 假, 假, 假], [真, 真, 假, 假, 假, 假, 假, 假])
合取與含括析取表=([真, 假, 假, 假, 假, 假, 假, 假], [真, 真, 假, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 1, 0, 0, 0, 0, 0, 0]、B=[0, 1, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 真, 假, 假, 假, 假, 假, 假], [假, 真, 假, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 真, 假, 假, 假, 假, 假, 假], [假, 真, 假, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 0, 0, 0, 0, 0, 0]、B=[0, 1, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 真, 假, 假, 假, 假, 假, 假], [真, 真, 假, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 真, 假, 假, 假, 假, 假, 假], [真, 真, 假, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 0, 0, 0, 0, 0, 0]、B=[1, 1, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([真, 真, 假, 假, 假, 假, 假, 假], [真, 真, 假, 假, 假, 假, 假, 假])
合取與含括析取表=([真, 真, 假, 假, 假, 假, 假, 假], [真, 真, 假, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 1, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 假, 假, 假, 假, 假, 假, 假], [假, 假, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 假, 假, 假, 假, 假, 假, 假], [假, 假, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 1, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 假, 假, 假, 假, 假, 假, 假], [真, 假, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 假, 假, 假, 假, 假, 假, 假], [真, 假, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 1, 0, 0, 0, 0, 0]、B=[1, 0, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([真, 假, 假, 假, 假, 假, 假, 假], [真, 假, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([真, 假, 假, 假, 假, 假, 假, 假], [真, 假, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 1, 1, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 假, 假, 假, 假, 假, 假, 假], [假, 真, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 假, 假, 假, 假, 假, 假, 假], [假, 真, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 假, 假, 假, 假, 假, 假, 假], [真, 真, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 假, 假, 假, 假, 假, 假, 假], [真, 真, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 0, 0, 0, 0, 0]、B=[1, 0, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([真, 假, 假, 假, 假, 假, 假, 假], [真, 真, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([真, 假, 假, 假, 假, 假, 假, 假], [真, 真, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 1, 1, 0, 0, 0, 0, 0]、B=[0, 1, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 真, 假, 假, 假, 假, 假, 假], [假, 真, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 真, 假, 假, 假, 假, 假, 假], [假, 真, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 0, 0, 0, 0, 0]、B=[0, 1, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 真, 假, 假, 假, 假, 假, 假], [真, 真, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 真, 假, 假, 假, 假, 假, 假], [真, 真, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 0, 0, 0, 0, 0]、B=[1, 1, 0, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([真, 真, 假, 假, 假, 假, 假, 假], [真, 真, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([真, 真, 假, 假, 假, 假, 假, 假], [真, 真, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 1, 0, 0, 0, 0, 0]、B=[0, 0, 1, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 假, 真, 假, 假, 假, 假, 假], [假, 假, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 假, 真, 假, 假, 假, 假, 假], [假, 假, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 1, 0, 0, 0, 0, 0]、B=[0, 0, 1, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 假, 真, 假, 假, 假, 假, 假], [真, 假, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 假, 真, 假, 假, 假, 假, 假], [真, 假, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 1, 0, 0, 0, 0, 0]、B=[1, 0, 1, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([真, 假, 真, 假, 假, 假, 假, 假], [真, 假, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([真, 假, 真, 假, 假, 假, 假, 假], [真, 假, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 1, 1, 0, 0, 0, 0, 0]、B=[0, 0, 1, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 假, 真, 假, 假, 假, 假, 假], [假, 真, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 假, 真, 假, 假, 假, 假, 假], [假, 真, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 0, 0, 0, 0, 0]、B=[0, 0, 1, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([假, 假, 真, 假, 假, 假, 假, 假], [真, 真, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([假, 假, 真, 假, 假, 假, 假, 假], [真, 真, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 0, 0, 0, 0, 0]、B=[1, 0, 1, 0, 0, 0, 0, 0]。依序列 (A∧B真假表, A∨B含括析取真假表)。
([真, 假, 真, 假, 假, 假, 假, 假], [真, 真, 真, 假, 假, 假, 假, 假])
合取與含括析取表=([真, 假, 真, 假, 假, 假, 假, 假], [真, 真, 真, 假, 假, 假, 假, 假])。各列兩真才合取真，至少一真即含括析取真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-and-or-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 0, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 真, 真, 真, 真, 真, 真, 真], [真, 真, 真, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 真, 真, 真, 真, 真, 真, 真], [真, 真, 真, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([假, 假, 假, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])
材料蘊涵與雙條件表=([假, 假, 假, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 0, 0, 0, 0, 0, 1]、B=[1, 0, 0, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 真, 真, 真, 真, 真, 真, 真], [假, 真, 真, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 真, 真, 真, 真, 真, 真, 真], [假, 真, 真, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 0, 0, 0, 0, 0, 1]、B=[0, 0, 0, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([假, 真, 真, 真, 真, 真, 真, 真], [假, 真, 真, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([假, 真, 真, 真, 真, 真, 真, 真], [假, 真, 真, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 0, 0, 0, 0, 0, 1]、B=[0, 1, 0, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 真, 真, 真, 真, 真, 真, 真], [真, 假, 真, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 真, 真, 真, 真, 真, 真, 真], [真, 假, 真, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 0, 0, 0, 0, 0, 1]、B=[1, 1, 0, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 真, 真, 真, 真, 真, 真, 真], [假, 假, 真, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 真, 真, 真, 真, 真, 真, 真], [假, 假, 真, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 0, 0, 0, 0, 0, 1]、B=[0, 1, 0, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([假, 真, 真, 真, 真, 真, 真, 真], [假, 假, 真, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([假, 真, 真, 真, 真, 真, 真, 真], [假, 假, 真, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 1, 0, 0, 0, 0, 0, 1]、B=[0, 0, 0, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 假, 真, 真, 真, 真, 真, 真], [真, 假, 真, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 假, 真, 真, 真, 真, 真, 真], [真, 假, 真, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 1, 0, 0, 0, 0, 0, 1]、B=[1, 0, 0, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 假, 真, 真, 真, 真, 真, 真], [假, 假, 真, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 假, 真, 真, 真, 真, 真, 真], [假, 假, 真, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 0, 0, 0, 0, 0, 1]、B=[0, 0, 0, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([假, 假, 真, 真, 真, 真, 真, 真], [假, 假, 真, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([假, 假, 真, 真, 真, 真, 真, 真], [假, 假, 真, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 0, 0, 0, 0, 0, 1]、B=[0, 0, 1, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 真, 真, 真, 真, 真, 真, 真], [真, 真, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 真, 真, 真, 真, 真, 真, 真], [真, 真, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 0, 0, 0, 0, 0, 1]、B=[1, 0, 1, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 真, 真, 真, 真, 真, 真, 真], [假, 真, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 真, 真, 真, 真, 真, 真, 真], [假, 真, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 0, 0, 0, 0, 0, 1]、B=[0, 0, 1, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([假, 真, 真, 真, 真, 真, 真, 真], [假, 真, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([假, 真, 真, 真, 真, 真, 真, 真], [假, 真, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 0, 0, 0, 0, 0, 1]、B=[0, 1, 1, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 真, 真, 真, 真, 真, 真, 真], [真, 假, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 真, 真, 真, 真, 真, 真, 真], [真, 假, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 0, 0, 0, 0, 0, 1]、B=[1, 1, 1, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 真, 真, 真, 真, 真, 真, 真], [假, 假, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 真, 真, 真, 真, 真, 真, 真], [假, 假, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 0, 0, 0, 0, 0, 1]、B=[0, 1, 1, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([假, 真, 真, 真, 真, 真, 真, 真], [假, 假, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([假, 真, 真, 真, 真, 真, 真, 真], [假, 假, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 1, 0, 0, 0, 0, 0, 1]、B=[0, 0, 1, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 假, 真, 真, 真, 真, 真, 真], [真, 假, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 假, 真, 真, 真, 真, 真, 真], [真, 假, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 1, 0, 0, 0, 0, 0, 1]、B=[1, 0, 1, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 假, 真, 真, 真, 真, 真, 真], [假, 假, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 假, 真, 真, 真, 真, 真, 真], [假, 假, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 0, 0, 0, 0, 0, 1]、B=[0, 0, 1, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([假, 假, 真, 真, 真, 真, 真, 真], [假, 假, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([假, 假, 真, 真, 真, 真, 真, 真], [假, 假, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 1, 0, 0, 0, 0, 1]、B=[0, 0, 0, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 真, 假, 真, 真, 真, 真, 真], [真, 真, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 真, 假, 真, 真, 真, 真, 真], [真, 真, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 1, 0, 0, 0, 0, 1]、B=[1, 0, 0, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 真, 假, 真, 真, 真, 真, 真], [假, 真, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 真, 假, 真, 真, 真, 真, 真], [假, 真, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 1, 0, 0, 0, 0, 1]、B=[0, 0, 0, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([假, 真, 假, 真, 真, 真, 真, 真], [假, 真, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([假, 真, 假, 真, 真, 真, 真, 真], [假, 真, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 1, 0, 0, 0, 0, 1]、B=[0, 1, 0, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 真, 假, 真, 真, 真, 真, 真], [真, 假, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 真, 假, 真, 真, 真, 真, 真], [真, 假, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 1, 0, 0, 0, 0, 1]、B=[1, 1, 0, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([真, 真, 假, 真, 真, 真, 真, 真], [假, 假, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([真, 真, 假, 真, 真, 真, 真, 真], [假, 假, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 1, 0, 0, 0, 0, 1]、B=[0, 1, 0, 0, 0, 0, 0, 1]。依序列 (A→B材料蘊涵真假表, A↔B雙條件真假表)。
([假, 真, 假, 真, 真, 真, 真, 真], [假, 假, 假, 真, 真, 真, 真, 真])
材料蘊涵與雙條件表=([假, 真, 假, 真, 真, 真, 真, 真], [假, 假, 假, 真, 真, 真, 真, 真])。材料蘊涵只在前真後假時假，雙條件要求兩欄同真值；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-implication-biconditional · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([真, 真, 真, 真, 真, 真, 真, 真], [真, 真, 真, 真, 真, 真, 真, 真])
兩路德摩根表=([真, 真, 真, 真, 真, 真, 真, 真], [真, 真, 真, 真, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 1, 1, 1, 1, 1, 1, 1]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([假, 假, 假, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])
兩路德摩根表=([假, 假, 假, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 0, 0, 0, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([假, 真, 真, 真, 真, 真, 真, 真], [假, 真, 真, 真, 真, 真, 真, 真])
兩路德摩根表=([假, 真, 真, 真, 真, 真, 真, 真], [假, 真, 真, 真, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[0, 1, 0, 0, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([真, 假, 真, 真, 真, 真, 真, 真], [真, 假, 真, 真, 真, 真, 真, 真])
兩路德摩根表=([真, 假, 真, 真, 真, 真, 真, 真], [真, 假, 真, 真, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 1, 0, 0, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([假, 假, 真, 真, 真, 真, 真, 真], [假, 假, 真, 真, 真, 真, 真, 真])
兩路德摩根表=([假, 假, 真, 真, 真, 真, 真, 真], [假, 假, 真, 真, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[0, 0, 1, 0, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([真, 真, 假, 真, 真, 真, 真, 真], [真, 真, 假, 真, 真, 真, 真, 真])
兩路德摩根表=([真, 真, 假, 真, 真, 真, 真, 真], [真, 真, 假, 真, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 0, 1, 0, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([假, 真, 假, 真, 真, 真, 真, 真], [假, 真, 假, 真, 真, 真, 真, 真])
兩路德摩根表=([假, 真, 假, 真, 真, 真, 真, 真], [假, 真, 假, 真, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[0, 1, 1, 0, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([真, 假, 假, 真, 真, 真, 真, 真], [真, 假, 假, 真, 真, 真, 真, 真])
兩路德摩根表=([真, 假, 假, 真, 真, 真, 真, 真], [真, 假, 假, 真, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 1, 1, 0, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([假, 假, 假, 真, 真, 真, 真, 真], [假, 假, 假, 真, 真, 真, 真, 真])
兩路德摩根表=([假, 假, 假, 真, 真, 真, 真, 真], [假, 假, 假, 真, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[0, 0, 0, 1, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([真, 真, 真, 假, 真, 真, 真, 真], [真, 真, 真, 假, 真, 真, 真, 真])
兩路德摩根表=([真, 真, 真, 假, 真, 真, 真, 真], [真, 真, 真, 假, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 0, 0, 1, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([假, 真, 真, 假, 真, 真, 真, 真], [假, 真, 真, 假, 真, 真, 真, 真])
兩路德摩根表=([假, 真, 真, 假, 真, 真, 真, 真], [假, 真, 真, 假, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[0, 1, 0, 1, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([真, 假, 真, 假, 真, 真, 真, 真], [真, 假, 真, 假, 真, 真, 真, 真])
兩路德摩根表=([真, 假, 真, 假, 真, 真, 真, 真], [真, 假, 真, 假, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 1, 0, 1, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([假, 假, 真, 假, 真, 真, 真, 真], [假, 假, 真, 假, 真, 真, 真, 真])
兩路德摩根表=([假, 假, 真, 假, 真, 真, 真, 真], [假, 假, 真, 假, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[0, 0, 1, 1, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([真, 真, 假, 假, 真, 真, 真, 真], [真, 真, 假, 假, 真, 真, 真, 真])
兩路德摩根表=([真, 真, 假, 假, 真, 真, 真, 真], [真, 真, 假, 假, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 0, 1, 1, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([假, 真, 假, 假, 真, 真, 真, 真], [假, 真, 假, 假, 真, 真, 真, 真])
兩路德摩根表=([假, 真, 假, 假, 真, 真, 真, 真], [假, 真, 假, 假, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[0, 1, 1, 1, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([真, 假, 假, 假, 真, 真, 真, 真], [真, 假, 假, 假, 真, 真, 真, 真])
兩路德摩根表=([真, 假, 假, 假, 真, 真, 真, 真], [真, 假, 假, 假, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 1, 1, 1, 0, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([假, 假, 假, 假, 真, 真, 真, 真], [假, 假, 假, 假, 真, 真, 真, 真])
兩路德摩根表=([假, 假, 假, 假, 真, 真, 真, 真], [假, 假, 假, 假, 真, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[0, 0, 0, 0, 1, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([真, 真, 真, 真, 假, 真, 真, 真], [真, 真, 真, 真, 假, 真, 真, 真])
兩路德摩根表=([真, 真, 真, 真, 假, 真, 真, 真], [真, 真, 真, 真, 假, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 0, 0, 0, 1, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([假, 真, 真, 真, 假, 真, 真, 真], [假, 真, 真, 真, 假, 真, 真, 真])
兩路德摩根表=([假, 真, 真, 真, 假, 真, 真, 真], [假, 真, 真, 真, 假, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[0, 1, 0, 0, 1, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([真, 假, 真, 真, 假, 真, 真, 真], [真, 假, 真, 真, 假, 真, 真, 真])
兩路德摩根表=([真, 假, 真, 真, 假, 真, 真, 真], [真, 假, 真, 真, 假, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 1, 0, 0, 1, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([假, 假, 真, 真, 假, 真, 真, 真], [假, 假, 真, 真, 假, 真, 真, 真])
兩路德摩根表=([假, 假, 真, 真, 假, 真, 真, 真], [假, 假, 真, 真, 假, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[0, 0, 1, 0, 1, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([真, 真, 假, 真, 假, 真, 真, 真], [真, 真, 假, 真, 假, 真, 真, 真])
兩路德摩根表=([真, 真, 假, 真, 假, 真, 真, 真], [真, 真, 假, 真, 假, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 0, 1, 0, 1, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([假, 真, 假, 真, 假, 真, 真, 真], [假, 真, 假, 真, 假, 真, 真, 真])
兩路德摩根表=([假, 真, 假, 真, 假, 真, 真, 真], [假, 真, 假, 真, 假, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[0, 1, 1, 0, 1, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([真, 假, 假, 真, 假, 真, 真, 真], [真, 假, 假, 真, 假, 真, 真, 真])
兩路德摩根表=([真, 假, 假, 真, 假, 真, 真, 真], [真, 假, 假, 真, 假, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 1, 1, 0, 1, 0, 0, 0]。依序列 (¬(A∧B)真假表, ¬A∨¬B真假表)，兩條路各完整列出。
([假, 假, 假, 真, 假, 真, 真, 真], [假, 假, 假, 真, 假, 真, 真, 真])
兩路德摩根表=([假, 假, 假, 真, 假, 真, 真, 真], [假, 假, 假, 真, 假, 真, 真, 真])。第一路先合取再否定，第二路分別否定再含括析取；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-demorgan-table · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 0, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([假, 假, 假, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([假, 假, 假, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 1, 1, 1, 1, 1]、B=[1, 1, 1, 1, 1, 1, 1, 1]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 真, 真, 真, 真, 真, 真, 真], [假, 假, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 真, 真, 真, 真, 真, 真, 真], [假, 假, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 0, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 假, 假, 假, 假, 假, 假, 假], [真, 假, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 假, 假, 假, 假, 假, 假, 假], [真, 假, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 0, 0, 0, 0, 0, 0]、B=[1, 0, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 假, 假, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 假, 假, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 1, 0, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([假, 真, 假, 假, 假, 假, 假, 假], [假, 真, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([假, 真, 假, 假, 假, 假, 假, 假], [假, 真, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 0, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 真, 假, 假, 假, 假, 假, 假], [真, 真, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 真, 假, 假, 假, 假, 假, 假], [真, 真, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 0, 0, 0, 0, 0, 0]、B=[1, 0, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 真, 假, 假, 假, 假, 假, 假], [假, 真, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 真, 假, 假, 假, 假, 假, 假], [假, 真, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 1, 0, 0, 0, 0, 0, 0]、B=[0, 1, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([假, 真, 假, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([假, 真, 假, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 0, 0, 0, 0, 0, 0]、B=[0, 1, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 真, 假, 假, 假, 假, 假, 假], [真, 假, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 真, 假, 假, 假, 假, 假, 假], [真, 假, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 0, 0, 0, 0, 0, 0]、B=[1, 1, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 真, 假, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 真, 假, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 1, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([假, 假, 真, 假, 假, 假, 假, 假], [假, 假, 真, 假, 假, 假, 假, 假])
含括與排他析取表=([假, 假, 真, 假, 假, 假, 假, 假], [假, 假, 真, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 1, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 假, 真, 假, 假, 假, 假, 假], [真, 假, 真, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 假, 真, 假, 假, 假, 假, 假], [真, 假, 真, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 1, 0, 0, 0, 0, 0]、B=[1, 0, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 假, 真, 假, 假, 假, 假, 假], [假, 假, 真, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 假, 真, 假, 假, 假, 假, 假], [假, 假, 真, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 1, 1, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([假, 真, 真, 假, 假, 假, 假, 假], [假, 真, 真, 假, 假, 假, 假, 假])
含括與排他析取表=([假, 真, 真, 假, 假, 假, 假, 假], [假, 真, 真, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 0, 0, 0, 0, 0]、B=[0, 0, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 真, 真, 假, 假, 假, 假, 假], [真, 真, 真, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 真, 真, 假, 假, 假, 假, 假], [真, 真, 真, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 0, 0, 0, 0, 0]、B=[1, 0, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 真, 真, 假, 假, 假, 假, 假], [假, 真, 真, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 真, 真, 假, 假, 假, 假, 假], [假, 真, 真, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 1, 1, 0, 0, 0, 0, 0]、B=[0, 1, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([假, 真, 真, 假, 假, 假, 假, 假], [假, 假, 真, 假, 假, 假, 假, 假])
含括與排他析取表=([假, 真, 真, 假, 假, 假, 假, 假], [假, 假, 真, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 0, 0, 0, 0, 0]、B=[0, 1, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 真, 真, 假, 假, 假, 假, 假], [真, 假, 真, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 真, 真, 假, 假, 假, 假, 假], [真, 假, 真, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 0, 0, 0, 0, 0]、B=[1, 1, 0, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 真, 真, 假, 假, 假, 假, 假], [假, 假, 真, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 真, 真, 假, 假, 假, 假, 假], [假, 假, 真, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 0, 1, 0, 0, 0, 0, 0]、B=[0, 0, 1, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([假, 假, 真, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([假, 假, 真, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 1, 0, 0, 0, 0, 0]、B=[0, 0, 1, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 假, 真, 假, 假, 假, 假, 假], [真, 假, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 假, 真, 假, 假, 假, 假, 假], [真, 假, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 0, 1, 0, 0, 0, 0, 0]、B=[1, 0, 1, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 假, 真, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 假, 真, 假, 假, 假, 假, 假], [假, 假, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[0, 1, 1, 0, 0, 0, 0, 0]、B=[0, 0, 1, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([假, 真, 真, 假, 假, 假, 假, 假], [假, 真, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([假, 真, 真, 假, 假, 假, 假, 假], [假, 真, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 0, 0, 0, 0, 0]、B=[0, 0, 1, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 真, 真, 假, 假, 假, 假, 假], [真, 真, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 真, 真, 假, 假, 假, 假, 假], [真, 真, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate
古典八列完整真假表；列索引0到7，1為真、0為假，A=[1, 1, 1, 0, 0, 0, 0, 0]、B=[1, 0, 1, 0, 0, 0, 0, 0]。依序列 (含括A∨B真假表, 恰一真XOR真假表)，不要混同兩者。
([真, 真, 真, 假, 假, 假, 假, 假], [假, 真, 假, 假, 假, 假, 假, 假])
含括與排他析取表=([真, 真, 真, 假, 假, 假, 假, 假], [假, 真, 假, 假, 假, 假, 假, 假])。含括允許兩真，排他只允許恰一真；材料蘊涵非因果，有限表非全部推理規則證明。
邏輯連接詞 · qf-density13-connectives-inclusion-vs-xor · candidate