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
🔒 23. 3. 2019 Přešli jsme na HTTPS. Prosíme o kontrolu funkčnosti fóra.
!! 17.06.2018 (Jel.) Khanova škola zve nadšence ke spolupráci na překladech návodů pro učitele a rodiče.
! 04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
17.01.2016 (Jel.) Rok 2016 s novými a novějšími krystaly od kolegy Pavla!
17.01.2016 (Jel.) Nabídka knih z oborů matematiky, fyziky, chemie
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 01. 10. 2013 16:46

PanTau
Příspěvky: 819
Škola: Plzeň :-)
Pozice: Student zoufalej z matiky
Reputace:   
 

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

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


Má kouzelná buřinka asi nefunguje.... Jinak bych tu nebyl...
Reputace slušností...

Předem všem děkuji za Vaše rady..

Offline

  • (téma jako vyřešené označil(a) PanTau)

#2 01. 10. 2013 20:26

Meglun
Příspěvky: 299
Pozice: student
Reputace:   
 

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


Společnost tě může připravit o všechno, ale to co máš v hlavě, ti nikdo neveme.

Offline

 

#3 01. 10. 2013 22:33

Formol
Místo: Praha
Příspěvky: 769
Pozice: krotitel mikroskopů (UHIEM 1. LF UK)
Reputace:   42 
 

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

↑ 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ů.


Доктор сказал «в морг» — значит в морг!

Offline

 

#4 01. 10. 2013 23:33

Mnauik
Zelenáč
Příspěvky: 8
Škola: FEL ČVUT
Pozice: student
Reputace:   
 

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

$\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)$

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson