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 27. 09. 2010 18:16
Dokazové techniky
Chcem sa spýtať ak dokazujem nejaku implikáciu ak A potom B.Vychádzam teda z predpopkladu a dokazujem pomocou reťazca implikácií až kým nedojdem k záveru B. Možem medzi to vsunúť pomocné tvrdenie resp. axiom ktorý mi pomože dojst k tvrdeniu z ktorého už plynie záver dokazovanej implikácie ? Ďakujem :)
Offline
- (téma jako vyřešené označil(a) Olin)
#2 28. 09. 2010 16:21 — Editoval Spybot (28. 09. 2010 17:15)
Re: Dokazové techniky
Neviem celkom, ako to myslis; mozno by sa hodil konkretny priklad.
Axiomy su tie, z ktorych vychadzas - nemozes k nim (v ramci medzikroku) dojst.
Offline
#3 28. 09. 2010 18:54
Re: Dokazové techniky
↑ Spybot:
ale myslím že mám dokazovat implikáciu a vyjdem z predpokladu a je mi dalej výhodné použiť axiom že daným bodom možno viest s danou priamkou jednu rovnobežku teda povediem daným bodom rovnobežku a tá mi potom pomože aby som vytvoril potrebný retazec implikácií a tým ju dokázal.(teda tu priamku v predpoklade nemám ae zostrojím si ju ako pomocnu priamku ktorá mi dost pomože v dalšom dokazovaní)
Offline
#4 28. 09. 2010 19:32
Re: Dokazové techniky
To by malo byt v poriadku.
Offline