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 11. 04. 2023 11:47 — Editoval check_drummer (11. 04. 2023 11:49)

check_drummer
Příspěvky: 4270
Reputace:   95 
 

Jak formálně definovat více kvatifikátorů?

Ahoj,
formální logická formule může obsahovat pevný počet kvantifikátorů. Co když jich potřebují více a předem neznám jejich počet?

Např. lomennou čáru K definujeme (neformálně) tak, že pro nějaké n existují body A1,A2,..,An takové, že K je sjednocením úseček AiA(i+1) (pro i=1,..,n-1).

Jak ale tento pojem definovat formálně? Protože definici tvaru [mathjax].. (\exists A_1)..(\exists A_n) ..[/mathjax] nelze použít.


"Máte úhel beta." "No to nemám."

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson