HotInfo Menu

Trt Sporem

Organizace 2 článků
Wikipedia CS

Důkaz sporem je typ logického důkazu, ve kterém se prokáže, že předpoklad vede k nesmyslnému výsledku, což znamená, že předpoklad je nepravdivý, a tedy platí jeho negace. Jelikož je důkaz sporem založen na zákonu o vyloučení třetího, lze jej použít pouze v těch logických systémech, ve kterých tento zákon platí. Důkaz sporem tedy nelze využít např. ve vícehodnotových logikách či v intuicionistické logice.

Číst více na Wikipedii
📈 Zmínky v HotInfo
2 článků poprvé 10.07.2026 naposledy 10.07.2026
před 26 týdnydnes
📂 O čem to je
Sport 2

🔥 TOP ZPRÁVY 48h

Světová politika 06:26
Světová politika 06:01
Fotbal 06:00
Kultura 26.10.
Světová politika 26.10.
Svět 26.10.
Světová politika 26.10.
Světová politika 26.10.
Světová politika 26.10.
Světová politika 26.10.
Světová politika 26.10.
Politika (obecně) 26.10.
Polská politika 26.10.
Světová politika 26.10.
Světová politika 26.10.
Fotbal 26.10.
Světová politika 26.10.
Umělá inteligence 26.10.
Internet 26.10.
Írán-Izrael 26.10.
Fotbal 26.10.
Sport 26.10.
Světová politika 26.10.
Ukrajina 26.10.
Německo – regionální 26.10.
Světová politika 26.10.
Politika (obecně) 26.10.
Politika (obecně) 26.10.
Fotbal 26.10.
Světová politika 26.10.
✍️ REDAKČNÍ VÝBĚR