Matematické Fórum
Archiv diskusního fóra o matematice, 2006–2026
Toto je archiv Matematického Fóra.
Fórum je dostupné jen ke čtení.
Můžete se ale zaregistrovat na náš Discord server.
Stránky: 1
- Hlavní strana
- » Didaktika a pedagogika: metodiky výuky a výukové materiály
- » Kondicionálny dôkaz
#1 10. 04. 2020 16:54
- John123
- Zelenáč
- Příspěvky: 9
- Reputace: 0
Kondicionálny dôkaz
Ahojte, vedel by mi prosím niekto vysvetliť postup, ako zistiť, či záver vyplýva logicky z premís? Konkrétne pre zadanie:
(A ^⌐D), B → (C →D)Ͱ (A→B )→ ⌐ C
( p ˄ q ) → r , p ├ q → r
Ďakujem pekne za každú pomoc.
Offline
#2 10. 04. 2020 18:26
- check_drummer
- Příspěvky: 5578
- Reputace: 106
Re: Kondicionálny dôkaz
Ahoj, a musí to být synattický důkaz (pomocí axiomů a odvozovacích pravidel) a nebo můžeš použít větu o úplnosti? Pokud můžeš, tak zkus při nejhorším tabulku. A nebo větu o dedukci. A nebo větu o důkazu sporem.
"Máte úhel beta." "No to nemám."
Offline
Stránky: 1
- Hlavní strana
- » Didaktika a pedagogika: metodiky výuky a výukové materiály
- » Kondicionálny dôkaz