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: 4740
- Reputace: 105
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.)
"Máte úhel beta." "No to nemám."
Offline