# OCME ยท Knowledge & practice explorer 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. ## Question 5976: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0076`; number: 5976 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0076/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0076.json) ## Question 5977: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0077`; number: 5977 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0077/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0077.json) ## Question 5978: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0078`; number: 5978 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0078/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0078.json) ## Question 5979: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0079`; number: 5979 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0079/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0079.json) ## Question 5980: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0080`; number: 5980 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0080/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0080.json) ## Question 5981: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0081`; number: 5981 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0081/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0081.json) ## Question 5982: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0082`; number: 5982 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0082/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0082.json) ## Question 5983: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0083`; number: 5983 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0083/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0083.json) ## Question 5984: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0084`; number: 5984 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0084/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0084.json) ## Question 5985: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0085`; number: 5985 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0085/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0085.json) ## Question 5986: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0086`; number: 5986 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0086/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0086.json) ## Question 5987: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0087`; number: 5987 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0087/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0087.json) ## Question 5988: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0088`; number: 5988 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0088/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0088.json) ## Question 5989: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0089`; number: 5989 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0089/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0089.json) ## Question 5990: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0090`; number: 5990 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0090/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0090.json) ## Question 5991: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0091`; number: 5991 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0091/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0091.json) ## Question 5992: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0092`; number: 5992 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0092/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0092.json) ## Question 5993: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0093`; number: 5993 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0093/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0093.json) ## Question 5994: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0094`; number: 5994 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0094/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0094.json) ## Question 5995: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0095`; number: 5995 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0095/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0095.json) ## Question 5996: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0096`; number: 5996 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0096/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0096.json) ## Question 5997: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0097`; number: 5997 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0097/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0097.json) ## Question 5998: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0098`; number: 5998 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0098/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0098.json) ## Question 5999: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0099`; number: 5999 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0099/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0099.json) ## Question 6000: Inclusive Disjunction versus Exactly-One Truth - ID: `q-20261009-advance-20261013-r05-logical-connectives-0100`; number: 6000 - Processing: second_context_reviewed - MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/) - Family: [qf-density13-connectives-inclusion-vs-xor](/en/explore/?family=qf-density13-connectives-inclusion-vs-xor) - Batch: [batch-20261009-advance-20261013-r05-logical-connectives-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r05-logical-connectives-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0100/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0100.json)