Domněnka

Domněnka (mínění, dohad) je tvrzení, které může být správné, ale dosud nebylo dokázáno ani vyvráceno. V obecné češtině je domněnkou jakýkoli neprokázaný názor.[1] Vědecká domněnka se také označuje jako hypotéza, v právu jako presumpce nebo právní fikce, v bibliografii konjektura. Zvláště v matematice se pak předpokládá, že dříve či později bude nalezen důkaz, který prokáže pravdivost nebo nepravdivost daného tvrzení za určitých předpokladů (axiomů).

K odstranění nejistoty kolem domněnky jsou činěny pokusy o její vyvrácení, třeba pomocí protipříkladu, nebo naopak nalezení jejího důkazu. Vyvrácená domněnka je omyl. Ne každou domněnku však lze dokázat nebo vyvrátit. Hypotéza kontinua, která postuluje mohutnost některých nekonečných množin, se nakonec ukázala jako nerozhodnutelná (nezávislá na obecně uznávaných axiomech teorie množin). Je proto možné přijmout tuto hypotézu nebo její opak jako nový axiom a pracovat s ní dále konzistentním způsobem.