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
#2 16. 12. 2014 22:13 — Editoval radekm (16. 12. 2014 22:23)
Re: predikátová logika - formační strom
To má být důkaz tablem? Máte k tomu nějaké poznámky, skripta, slajdy? Hvězdička napravo od formulí znamená, že se to má vyvrátit?
Edit: Pokud ano, tak si myslím, že v těch žlutě vyznačených větvích může být livovolný konstantní term, tedy i konstanta m. Na druhou stranu je k ničemu tam m dávat - dáte-li tam m, tak větev úplně vpravo nebude sporná a při důkazu tablem chcete dojít ke sporu v každé větvi, ne?
Offline
