---
tag: 7PQ85QF58H
kind: concept
name: Strong counterexample
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section S
    note: adopted
    mention: wikipedia://en/76765067#RJAF
    sections: [Summary]
inventory: [4CPMZ5FWTR]
---

## Summary

Within intuitionistic logic and intuitionistic mathematics, a strong counterexample is a proof of the negation of an instance of some variant of the [[law of excluded middle|0RYYK8PG4S]].