The principle of bivalence in classical logic states that every proposition is either true or false.

**Cycle ID:** `cycle_4177_cyc_4177_5a9b1e22` **Verified at:** 2026-04-12T19:12:14.111Z **Ensemble:** 9 models from 3 providers **Result:** 9 of 9 models responded **Cycle wall time:** 21.756 seconds **Canonical URL:** https://trust.polylogicai.com/claim/the-principle-of-bivalence-in-classical-logic-states-that-every-proposition-is-e **Source paper:** [PolybrainBench (version 12)](https://trust.polylogicai.com/polybrainbench) **Source ledger row:** [`public-ledger.jsonl#cycle_4177_cyc_4177_5a9b1e22`](https://huggingface.co/datasets/polylogic/polybrainbench/blob/main/public-ledger.jsonl) **Cryptographic provenance:** SHA-256 `b5c4ce468a868c566d0cebaacc68e0dd25ad79474cde4c60e68e73278bf2c968`

Verification verdict

Of 9 models in the ensemble, 9 responded successfully and 0 failed.

Per-model responses

The full text of each model's response is available in the source ledger. The summary below records each model's success or failure and the first 280 characters of its response.

| Model | Status | Response chars | | --- | :---: | ---: | | gpt-4.1-mini | ✓ | 116 | | gpt-4.1-nano | ✓ | 2637 | | gpt-oss-120b | ✓ | 1304 | | grok-3-mini | ✓ | 6245 | | grok-4-fast | ✓ | 4965 | | kimi-k2-groq | ✓ | 753 | | llama-3.3-70b | ✓ | 3071 | | llama-4-scout | ✓ | 2900 | | qwen3-32b | ✓ | 6662 |

Pairwise agreement

The pairwise Jaccard agreement between successful responses for this cycle:

_Per-cycle pairwise agreement matrix is computed offline; will be populated in canonical page v2._

Divergence score

This cycle's divergence score is **TBD** on a 0 to 1 scale, where 0 means all responses are token-identical and 1 means no two responses share any tokens. The dataset-wide median divergence is 0.5 for context.

How to cite this claim

```bibtex @misc{polybrainbench_claim_cycle_4177_cyc_4177_5a9b1e22, author = {Polylogic AI}, title = {The principle of bivalence in classical logic states that every proposition is either true or false.}, year = {2026}, howpublished = {PolybrainBench cycle cycle_4177_cyc_4177_5a9b1e22}, url = {https://trust.polylogicai.com/claim/the-principle-of-bivalence-in-classical-logic-states-that-every-proposition-is-e} } ```

Reproduce this cycle

```bash node ~/polybrain/bin/polybrain-cycle.mjs start --raw --fast "The principle of bivalence in classical logic states that every proposition is either true or false." ```

Schema.org structured data

```json { "@context": "https://schema.org", "@type": "ClaimReview", "datePublished": "2026-04-12T19:12:14.111Z", "url": "https://trust.polylogicai.com/claim/the-principle-of-bivalence-in-classical-logic-states-that-every-proposition-is-e", "claimReviewed": "The principle of bivalence in classical logic states that every proposition is either true or false.", "itemReviewed": { "@type": "Claim", "datePublished": "2026-04-12T19:12:14.111Z", "appearance": "https://trust.polylogicai.com/claim/the-principle-of-bivalence-in-classical-logic-states-that-every-proposition-is-e", "author": { "@type": "Organization", "name": "PolybrainBench" } }, "reviewRating": { "@type": "Rating", "ratingValue": "9", "bestRating": "9", "worstRating": "0", "alternateName": "Unanimous" }, "author": { "@type": "Organization", "name": "Polylogic AI", "url": "https://polylogicai.com" } } ```

Provenance and integrity

This page was generated by the PolybrainBench daemon at version 0.1.0 from cycle cycle_4177_cyc_4177_5a9b1e22. The full provenance chain (per-response SHA-256 stamps, cross-cycle prev-hash linking, Thalamus grounding verification) is recorded in the source cycle directory at `~/polybrain/cycles/4177/provenance.json` and mirrored in the published dataset. The page is regenerated on every harvest pass; the URL is permanent and the content is immutable for any given paper version.