HotInfo Menu

Trt Sporem

Organizácia 2 článkov
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.

Čítať viac na Wikipédii
📈 Zmienky v HotInfo
2 článkov prvýkrát 10.07.2026 naposledy 10.07.2026
pred 26 týždňamidnes
📂 O čom to je
Šport 2

🔥 TOP SPRÁVY 48h

Irán-Izrael 25.10.
Svetová politika 25.10.
Svet 25.10.
Politika (všeobecné) 25.10.
Futbal 25.10.
Maďarská politika 25.10.
Svetová politika 25.10.
Šport 25.10.
Svetová politika 25.10.
Politika (všeobecné) 25.10.
Politika (všeobecné) 25.10.
Šport 25.10.
Svetová politika 25.10.
Politika (všeobecné) 25.10.
Svetová politika 25.10.
Futbal 25.10.
Politika (všeobecné) 25.10.
Svetová politika 25.10.
Politika (všeobecné) 25.10.
Politika (všeobecné) 25.10.
Futbal 24.10.
Umelá inteligencia 24.10.
Futbal 24.10.
Politika (všeobecné) 24.10.
Svetová politika 24.10.
Svetová politika 24.10.
Svetová politika 24.10.
Svetová politika 24.10.
Nemecká politika 24.10.
Svetová politika 24.10.
✍️ REDAKČNÝ VÝBER