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 06. 02. 2021 16:56 — Editoval Trp97 (06. 02. 2021 17:01)
Dôkaz vo výrokovej logike
Zdravím!
Vedel by mi niekto pomôcť s touto úlohou?
Pomocou dôkazu ukážte, že platia nasledujúce tvrdenia (M, N, P sú lubovolné výroky).
[mathjax]\{A\Rightarrow B, A\Rightarrow C\} \vdash A \Rightarrow (B\wedge C)[/mathjax].
Začal som touto axiómou (zavedenie [mathjax]\wedge [/mathjax] )
A, b sú ľubovoľné výroky,
[mathjax]A\Rightarrow (B\Rightarrow (A\wedge B)[/mathjax],
ale ďalej s tým už neviem pohnúť...
Ďakujem za každú radu.
Offline
#2 12. 02. 2021 10:44
- Richard Tuček
- Místo: Liberec
- Příspěvky: 1272
- Reputace: 20
- Web
Re: Dôkaz vo výrokovej logike
Napsal bych si tabulku pravdivostních hodnot.
Mám 3 výroky, A,B,C, je 8 možností 0 a 1
Pozor na záludnost implikace, z nepravdy může plynout pravda.
Offline
#3 13. 02. 2021 08:30
- check_drummer
- Příspěvky: 5559
- Reputace: 106
Re: Dôkaz vo výrokovej logike
↑ Richard Tuček:
Ahoj, podle mě nebude povoleno používat větu o úplnosti.
"Máte úhel beta." "No to nemám."
Offline