# OCME · 知識與練習查找 302 MKO / 1,441 families / 360 batches / 36,000 questions. 36,000 second-context math/bilingual reviewed; 0 display/symbol-checked candidates. Source questions: candidate. English: ai_candidate. No new proof, Lean, SREG or training. 25 results; page 1/1. ## 第 5726 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0051`; number: 5726 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0051/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0051/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0051.json) ## 第 5727 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0052`; number: 5727 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0052/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0052/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0052.json) ## 第 5728 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0053`; number: 5728 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0053/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0053/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0053.json) ## 第 5729 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0054`; number: 5729 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0054/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0054/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0054.json) ## 第 5730 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0055`; number: 5730 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0055/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0055/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0055.json) ## 第 5731 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0056`; number: 5731 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0056/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0056/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0056.json) ## 第 5732 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0057`; number: 5732 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0057/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0057/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0057.json) ## 第 5733 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0058`; number: 5733 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0058/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0058/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0058.json) ## 第 5734 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0059`; number: 5734 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0059/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0059/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0059.json) ## 第 5735 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0060`; number: 5735 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0060/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0060/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0060.json) ## 第 5736 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0061`; number: 5736 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0061/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0061/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0061.json) ## 第 5737 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0062`; number: 5737 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0062/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0062/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0062.json) ## 第 5738 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0063`; number: 5738 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0063/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0063/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0063.json) ## 第 5739 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0064`; number: 5739 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0064/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0064/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0064.json) ## 第 5740 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0065`; number: 5740 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0065/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0065/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0065.json) ## 第 5741 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0066`; number: 5741 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0066/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0066/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0066.json) ## 第 5742 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0067`; number: 5742 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0067/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0067/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0067.json) ## 第 5743 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0068`; number: 5743 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0068/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0068/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0068.json) ## 第 5744 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0069`; number: 5744 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0069/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0069/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0069.json) ## 第 5745 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0070`; number: 5745 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0070/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0070/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0070.json) ## 第 5746 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0071`; number: 5746 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0071/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0071/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0071.json) ## 第 5747 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0072`; number: 5747 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0072/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0072/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0072.json) ## 第 5748 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0073`; number: 5748 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0073/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0073/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0073.json) ## 第 5749 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0074`; number: 5749 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0074/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0074/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0074.json) ## 第 5750 題：相等命題與否定的有序見證 - ID: `q-20261008-advance-20261012-r03-proposition-0075`; number: 5750 - Processing: second_context_reviewed - MKO: [mko-proposition](/zh-Hant/mko/mko-proposition/) - Family: [qf-density12-proposition-equality-negation-witnesses](/zh-Hant/explore/?family=qf-density12-proposition-equality-negation-witnesses) - Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/zh-Hant/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations) - [Derivation](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0075/) / [Markdown](/zh-Hant/questions/q-20261008-advance-20261012-r03-proposition-0075/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0075.json)