# 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 33076: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0001`; number: 33076
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0001/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0001/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0001.json)

## Question 33077: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0002`; number: 33077
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0002/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0002/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0002.json)

## Question 33078: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0003`; number: 33078
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0003/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0003/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0003.json)

## Question 33079: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0004`; number: 33079
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0004/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0004/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0004.json)

## Question 33080: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0005`; number: 33080
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0005/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0005/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0005.json)

## Question 33081: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0006`; number: 33081
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0006/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0006/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0006.json)

## Question 33082: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0007`; number: 33082
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0007/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0007/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0007.json)

## Question 33083: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0008`; number: 33083
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0008/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0008/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0008.json)

## Question 33084: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0009`; number: 33084
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0009/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0009/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0009.json)

## Question 33085: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0010`; number: 33085
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0010/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0010/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0010.json)

## Question 33086: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0011`; number: 33086
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0011/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0011/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0011.json)

## Question 33087: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0012`; number: 33087
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0012/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0012/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0012.json)

## Question 33088: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0013`; number: 33088
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0013/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0013/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0013.json)

## Question 33089: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0014`; number: 33089
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0014/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0014/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0014.json)

## Question 33090: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0015`; number: 33090
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0015/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0015/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0015.json)

## Question 33091: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0016`; number: 33091
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0016/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0016/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0016.json)

## Question 33092: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0017`; number: 33092
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0017/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0017/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0017.json)

## Question 33093: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0018`; number: 33093
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0018/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0018/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0018.json)

## Question 33094: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0019`; number: 33094
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0019/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0019/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0019.json)

## Question 33095: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0020`; number: 33095
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0020/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0020/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0020.json)

## Question 33096: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0021`; number: 33096
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0021/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0021/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0021.json)

## Question 33097: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0022`; number: 33097
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0022/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0022/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0022.json)

## Question 33098: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0023`; number: 33098
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0023/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0023/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0023.json)

## Question 33099: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0024`; number: 33099
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0024/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0024/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0024.json)

## Question 33100: Truth of a Material Implication

- ID: `q-20260916-logic-material-implication-truth-0025`; number: 33100
- Processing: second_context_reviewed
- MKO: [mko-logical-connectives](/en/mko/mko-logical-connectives/)
- Family: [qf-logic-material-implication-truth](/en/explore/?family=qf-logic-material-implication-truth)
- Batch: [batch-20260916-logical-connectives](/en/explore/?batch=batch-20260916-logical-connectives)
- [Derivation](/en/questions/q-20260916-logic-material-implication-truth-0025/) / [Markdown](/en/questions/q-20260916-logic-material-implication-truth-0025/index.md) / [JSON](/data/question-derivations/questions/q-20260916-logic-material-implication-truth-0025.json)

