Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 14. 06. 2022 11:23 — Editoval check_drummer (14. 06. 2022 12:00)

check_drummer
Příspěvky: 3538
Reputace:   91 
 

Věta o neúplnosti a platnost různých tvrzení

Ahoj,
vzhledem k větám o neúplnosti, platí v predikátové logice následující tvrzení?:
Je-li dokazatelné (nonP=>Q) a (P=>R), plyne z toho, že je dokazatelné Q nebo R?
Jedokazatelné P nebo nonP?
(Podle mě ano, protože stačí použít výrokovou logiku a pravdivostní tabulky a větu o úplnosti.)

Platí (pro libovolné tvrzení P), že jde dokázat P nebo jde dokázat nonP? (To podle mě díky větě o neúplnosti neplatí.)

(Edit: Přeformuloval jsem to na dokazatelnost.)


Popelka - pohádka o neprosté funkci nabývající minima v jediném bodě

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson