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
před 26 týdnydnes
📂 O čem to je
Sport
2
📰 Poslední články (2)
10.07.
„Klidně ten gól dejte na mě." Ostuda proti Faerům byl Černého poslední zápas v repre
zpravy.aktualne.cz
🔥 TOP ZPRÁVY 48h
Světová politika
06:19
Írán-Izrael
06:18
Světová politika
06:15
Světová politika
06:21
Maďarská politika
07.09.
Politika (obecně)
06.09.
Politika (obecně)
07.09.
Fotbal
06.09.
Sport
06.09.
Světová politika
07.09.
Dopravní nehody
07.09.
Ekonomika a byznys
07.09.
Umělá inteligence
07.09.
Světová politika
07.09.
Umělá inteligence
07:00
Politika (obecně)
07.09.
Světová politika
06.09.
Sport
06.09.
Světová politika
07:03
Světová politika
07:00
Politika (obecně)
07.09.
✍️
REDAKČNÍ VÝBĚR
HotInfo
O čem píše Evropa: Rusko znovu bombarduje Kyjev, ukrajinský generální prokurátor podal demisi, Grónsko nechce členství v EU
Pauza v ruských údercích skončila odchodem amerických velvyslanců. Generální prokurátor odstoupil, Grónsko odmítlo vstup…
HotInfo
Izraelský ministr žádá uznat Falklandy za argentinské. Ropu u nich má těžit izraelská firma, na kterou Argentina chystá trestní oznámení
Ben Gvir vyzval Netanjahua, aby uznal argentinskou svrchovanost nad Falklandami. Ropu u nich má těžit izraelská Navitas,…
HotInfo
Nový model OpenAI nepřekonal svého předchůdce v inteligenci. Kybernetické riziko, které si firma sama oznámila, nezávislé žebříčky neměří
Astra má v nezávislém indexu stejné skóre jako předchůdce, levnější je při programování. Slovensko mezitím podepsalo Pra…
HotInfo
Italského exgenerála označili za trojského koně Moskvy. V Meloniové straně roste nedůvěra, důkaz chybí
Analýza think-tanku ECFR, kterou převzal Financial Times, spojila vzestup exgenerála Vannacciho s ruským vlivem. On to o…
HotInfo
Moskva se odvetila za Lipsko zavřením konzulátu v Petrohradě. Vyšetřovací stopa vede do severní Srbska
Rusko zavírá německý konzulát v Petrohradě i všechny Goethe-Instituty. Státní zástupce v Subotici zároveň vyšetřuje sedm…
HotInfo
Dohoda o Hormuzu slibovala průjezd bez poplatků. V textu stojí, že jen na šedesát dní
Trump ohlásil bezmýtne otvorenie prielivu. Memorandum ale hovorí o šesťdesiatich dňoch a o tom, že potom sa bude rokovať…
HotInfo
Španělské služby sledují pochod za osvobození Ceuty. Má být tři dny před marockými volbami
Výzva na sítích svolává na 20. září pochod za osvobození Ceuty a Melilly. Marocké parlamentní volby jsou o tři dny pozdě…
HotInfo
Šéfa výzkumu belgické čipové továrny zadrželi už v květnu. Podle státního zastupitelství vedl souběžně firmu v Číně, která vyráběla totéž
BelGaN dělala v Belgii čipy z nitridu galia. Zatímco její výzkum vedl muž s dvojím občanstvím, vznikla podle vyšetřování…
HotInfo
Švédsko kupuje HIMARS, servis převezme Finsko. Helsinky ho k nákupu podle vlastního ministra rok přemlouvaly
Munici mají vyrábět švédské továrny, výcvik a údržbu převzít Finsko. Servisní centrum v Tampere mu vyrostlo z průmyslové…
HotInfo
O čem píše Česko: Brusel zmrazil dotace Agrofertu. Babiš v ten stejný den obvinil dvě redakce, že zastupují opozici
Evropská komise zmrazila Agrofertu 77 milionů korun pro možný střet zájmů premiéra. Redakce dostaly stejnou depeši ČTK, …
HotInfo
O čem píše Evropa: Rusko zavřelo německý konzulát, Bosna stahuje ambasádu z Bělehradu, Srbsko jde do předčasných voleb
Rusko odvetilo za Lipsko zavřením konzulátu v Petrohradu i Goethových institutů. Bosna stahuje ambasádu z Bělehradu, Srb…
HotInfo
Stopa po klenotech z Louvru vede do Belgie. Pátrání se soustředí na muže přezdívaného „Laser" a dvojici popisovanou jako Slované
Sedm měsíců po loupeži korunovačních klenotů z Louvru vede nová stopa do Belgie. Na telefonech zadržených zlodějů byly f…