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

Stránky: 1

 

#1 05. 10. 2009 17:56

Grimbor
Příspěvky: 52
Reputace:   0 
 

Co znamená tento symbol?

Nemáte někdo tušení co znamená ten symbol velkého V v těhle formulích?   Objevil se mi v textu týkající se Cooperova algoritmu pro eliminaci kvantifikátorů (Presburgerová aritmetika)

Nejdřív jsem myslel že je to nějaký alternativní znak pro sumu ..ale nějak se mi to nezdá ...

http://forum.matweb.cz/upload/1254758003-velkeV.jpg

Offline

 

#2 05. 10. 2009 18:05

Kondr
Veterán
Místo: Linz, Österreich
Příspěvky: 4247
Škola: FI MU 2013
Pozice: Vývojář, JKU
Reputace:   38 
 

Re: Co znamená tento symbol?

Podobně jako je suma zápisem pro a+b+c+..., je toto zápisem pro $a\vee b\vee c\vee\cdots$, kde $\vee$ je logická spojka "nebo".

BRKOS - matematický korespondenční seminář pro střední školy

Offline

 

#3 05. 10. 2009 18:32

Grimbor
Příspěvky: 52
Reputace:   0 
 

Re: Co znamená tento symbol?

Vida, to jsem potřeboval vědět.  Teď už je mi tedy i jasné, že obrácený symbol k tomuhle bude zápis pro ANDy (konjunkce)...  Díky moc!

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson