Matematické Fórum

PanTau · 01. 10. 2013 16:46

Dobrý den, potřeboval bych poradit co znamenají níže uvedené symboly a do jaké kategorie patří..
(či jen zkontrolovat mé určení)

Kategorie - logické spojky, logické operátory, kvantifikátory.

φ - [fí] konstanta a nepatří do žádné výše uvedené
¬ - negace logický operátor
♣ - NEVÍM
≥ - větší nebo rovno a nepatří do žádné výše uvedené
∓ - NEVÍM
≠ - nerovná se, nevím kategorie
∃ - existuje, kvantifikátor
π - pí a nepatří do žádné výše uvedené
… - nevím
⊆ - nevím

Děkuji všem co se zapojí do diskuze

Meglun · 01. 10. 2013 20:26

http://cs.wikipedia.org/wiki/Matematick%C3%BD_symbol

Formol · 01. 10. 2013 22:33

↑ PanTau:
K výše uvedenému odkazu si dovolím pouze doplnit:
♣ je, pokud vím, pouze grafická značka bez speciálního významu.

Symbol ∓ (mínus plus) se používá se tam, kde se objeví výraz ve tvaru -(±x) jako zdůraznění, že se "prohodí pořadí" (až to uvidíš poprvé, bude ti to jasné)

… je výpustka.

Znak ≠ je společně se znakem = snad tím, co má být logickým operátorem (i když já znám jako logické operátory jen "programátorské" logické operátory, tj. např. bitové posuny). Speciální pojem vedle kvantifikátorů a spojek je oprávněn tím, že bez symbolu rovnosti nelze v predikátové logice vyjádřit identitu objektů.

Mnauik · 01. 10. 2013 23:33

$\mp$ se používá například u algebraického vzorce. Ukázka:
$(a^3+b^3)=(a+b)(a^2-ab+b^2)$
a
$(a^3-b^3)=(a-b)(a^2+ab+b^2)$

Jde zapsat jako:
$(a^3\pm b^3)=(a\pm b)(a^2\mp ab+b^2)$

Matematické Fórum

#1 01. 10. 2013 16:46

logické spojky, logické operátory a kvantifikátory - co co je?

#2 01. 10. 2013 20:26

Re: logické spojky, logické operátory a kvantifikátory - co co je?

#3 01. 10. 2013 22:33

Re: logické spojky, logické operátory a kvantifikátory - co co je?

#4 01. 10. 2013 23:33

Re: logické spojky, logické operátory a kvantifikátory - co co je?

Zápatí