Spor v matematické logice znamená, že z výchozích předpokladů lze dokázat nějaké tvrzení i jeho negaci. V praxi se často dokazuje negace původního tvrzení, nebo se dokazuje tvrzení, že nějaká hodnota se nerovná sama sobě.
Pokud spor vyplývá z axiomů nějaké teorie, znamená to, že tato teorie je sporná. Ve sporné teorii je možné dokázat libovolné tvrzení, proto je nepoužitelná.
Pokud (v bezesporné teorii) z nějakého tvrzení vyplývá spor, je výchozí tvrzení nepravdivé. Toho se používá pro důkaz sporem.
Odkazy
Související články
Zdroj
Poslední aktualizace obsahu: 2024-05-06 15:00:05
Zdroj: Wikipedia (autoři článku Spor (matematická logika))
Licence textu: CC-BY-SA-3.0 Unported
Tento článek byl automaticky přejat z Wikipedie. Na obrázcích nebyly provedeny žádné změny. Obrázky se zobrazují ve zmenšené velikosti (jako miniatury). Kliknutím na obrázek získáte další informace o autorovi a licenci. Byly změněny prvky designu, odstraněny některé odkazy specifické pro Wikipedii (např. odkazy na Editaci a nebo na neexistující hesla) a provedena optimalizace pro rychlé načítání.