# 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 5951: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0026`; number: 5951
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0026/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0026.json)

## Question 5952: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0027`; number: 5952
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0027/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0027.json)

## Question 5953: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0028`; number: 5953
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0028/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0028.json)

## Question 5954: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0029`; number: 5954
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0029/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0029.json)

## Question 5955: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0030`; number: 5955
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0030/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0030.json)

## Question 5956: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0031`; number: 5956
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0031/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0031.json)

## Question 5957: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0032`; number: 5957
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0032/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0032.json)

## Question 5958: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0033`; number: 5958
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0033/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0033.json)

## Question 5959: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0034`; number: 5959
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0034/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0034.json)

## Question 5960: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0035`; number: 5960
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0035/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0035.json)

## Question 5961: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0036`; number: 5961
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0036/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0036.json)

## Question 5962: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0037`; number: 5962
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0037/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0037.json)

## Question 5963: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0038`; number: 5963
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0038/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0038.json)

## Question 5964: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0039`; number: 5964
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0039/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0039.json)

## Question 5965: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0040`; number: 5965
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0040/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0040.json)

## Question 5966: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0041`; number: 5966
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0041/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0041.json)

## Question 5967: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0042`; number: 5967
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0042/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0042.json)

## Question 5968: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0043`; number: 5968
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0043/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0043.json)

## Question 5969: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0044`; number: 5969
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0044/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0044.json)

## Question 5970: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0045`; number: 5970
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0045/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0045.json)

## Question 5971: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0046`; number: 5971
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0046/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0046.json)

## Question 5972: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0047`; number: 5972
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0047/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0047.json)

## Question 5973: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0048`; number: 5973
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0048/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0048.json)

## Question 5974: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0049`; number: 5974
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0049/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0049.json)

## Question 5975: Material Implication and Biconditional Tables

- ID: `q-20261009-advance-20261013-r05-logical-connectives-0050`; number: 5975
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-density13-connectives-implication-biconditional](/en/explore/?family=qf-density13-connectives-implication-biconditional)
- 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-0050/) / [Markdown](/en/questions/q-20261009-advance-20261013-r05-logical-connectives-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r05-logical-connectives-0050.json)

