Додатак A — Ознаке

У табелама су сабране ознаке које се користе у уџбенику, груписане по областима.

Скупови

Ознака	Значење
\(a \in A\), \(a \notin A\)	\(a\) јесте / није елемент скупа \(A\)
\(\{a_1, a_2, \dots, a_n\}\)	скуп задат набрајањем елемената
\(\{x \mid P(x)\}\)	скуп свих \(x\) који имају својство \(P\)
\(\emptyset\)	празан скуп
\(A \subseteq B\), \(A \subset B\)	\(A\) је подскуп / прави подскуп скупа \(B\)
\(A \cup B\), \(A \cap B\)	унија / пресек скупова
\(A \setminus B\)	разлика скупова
\(A'\)	комплемент скупа \(A\) у односу на универзални скуп \(U\)
\(A \times B\)	Декартов производ скупова
\(\lvert A \rvert\)	број елемената (кардиналност) скупа \(A\)
\(\mathcal{P}(A)\)	партитивни скуп (скуп свих подскупова) скупа \(A\)
\((a_1, a_2, \dots, a_n)\)	уређена \(n\)-торка

Логика

Ознака	Значење
\(\top\), \(\bot\) (или \(1\), \(0\))	тачно / нетачно
\(\neg p\)	негација
\(p \wedge q\)	конјункција
\(p \vee q\)	дисјункција
\(p \veebar q\) (или \(p \oplus q\))	ексклузивна дисјункција (XOR)
\(p \uparrow q\)	Шеферова функција (NAND), \(\neg(p \land q)\)
\(p \downarrow q\)	Пирсова стрелица (NOR), \(\neg(p \lor q)\)
\(p \Rightarrow q\)	импликација
\(p \Leftrightarrow q\)	еквиваленција
\(v(F)\)	вредност формуле \(F\) при валуацији \(v\)
\(F \equiv G\)	семантичка еквиваленција формула
\(F_1, \dots, F_n \models F\)	\(F\) је семантичка последица формула \(F_1, \dots, F_n\)
\(\forall x\), \(\exists x\)	универзални / егзистенцијални квантификатор

Релације

Ознака	Значење
\(a \, R \, b\), \((a,b) \in R\)	елемент \(a\) је у релацији \(R\) са \(b\)
\(C_a\)	класа еквиваленције елемента \(a\)
\(\leq\)	релација поретка
\(\inf A\), \(\sup A\)	инфимум / супремум скупа \(A\)

Графови

Ознака	Значење
\(G = (V, E)\)	граф са скупом чворова \(V\) и скупом грана \(E\)
\(k(v)\)	степен чвора \(v\)
\(k^{-}(v)\), \(k^{+}(v)\)	улазни / излазни степен чвора у оријентисаном графу
\(K_n\)	комплетан граф са \(n\) чворова
\(C_n\)	контура (циклус) са \(n\) чворова
\(K_{m,n}\)	комплетан бипартитни граф