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 12. 02. 2017 13:04
Predikátová logika - funkční symbol
Zdravím.
Mám sentenci: 
Podle definice platí, že sentence je pravdivá, když je pravdivá pro každé ohodnocení 'v' proměnných.
Ohodnocení proměnných 'v' přiřadí každé proměnné prvek z D, kde D je universum (domain).
Dále podle definice platí, že 'f' je zobrazení množiny D^n do D. N je arita té funkce. (nevím přesně, co je to D^n)
Zajímalo by mě, pokud mám interpretaci: D = N(prirozenna cisla) a f: a -> a-1, tak když ohodnotím v(x) = 1, tak jestli jsem schopen na x hodit tu fukci f. Pak bych mel f(x) = 0, ale 0 není z D (není přiroz. č.). V té sentenci je ale "pro všechna x" .
Offline
#2 12. 02. 2017 14:33
Re: Predikátová logika - funkční symbol
↑ mbeloch97:
Pěkné.
A jaká je otázka?
Pořádek je pro blbce, inteligent zvládá chaos!
Offline
#3 12. 02. 2017 14:55
Re: Predikátová logika - funkční symbol
↑ zdenek1: opakuji: jsem schopen na x hodit tu funkci f?, I kdyz x si ohodnotim jako x=1 a po aplikaci fce to bude 1-1 =0, coz neni prvek z univerza (D = N)
Offline
#4 12. 02. 2017 19:11
Re: Predikátová logika - funkční symbol
↑ mbeloch97:
Já skutečně nevím, jestli jsi na něco schopen hodit funkci, nebo ne. Já ani nevím jak se taková funkce hází.
Ale jestli se ptáš, zda je při dané interpretaci tvůj výrok (Každé přirozené číslo má svého předchůdce) pravdivý, pak zcela evidentně není.
Pořádek je pro blbce, inteligent zvládá chaos!
Offline
#6 12. 02. 2017 19:48 Příspěvek uživatele mbeloch97 byl skryt uživatelem mbeloch97.
#7 12. 02. 2017 20:03
Re: Predikátová logika - funkční symbol
↑ zdenek1:
Ted koukám, že jsem špatně napsal tu sentenci, má tam být za tím kvantifikátorem predikátový symbol P. A ještě bych doplnil, že interpretace P je: a je menší než b.
Já jen nechápu to, že definice té fce je zobrazení nějakého čísla do D (tady N), ale přece tady to vyjde 0 a 0 neni v tyhle interpretaci v D(N). V podstatě je to takhle: každý předchůdce přirozeného čísla je menší. Dává tohle tvrzení vůbec smysl?
Offline