Index symbolorum logicorum

Index symbolorum logicorum enumerat symbola in arte logica nota, quae in propositionibus logicalibus scribendis adhibentur. Hic index singulorum indicat nomina, et quomodo pronuntientur, et categorias, ad quas pertinere docentur, et alia scitu digna. Nota bene, quod extra logicam symbolorum significationes ab his datis differant!

 Symbola logica simpliciora 

SymbolumNomenExplanatioExemplaUnicodexHTMLLaTeXPronunciatioCategoria⇒→⊃Implicatio materialisA ⇒ B significat quod si A est verum, B est verum quoque; si A est falsum, nihil de B proponitur.Significatio → sit aequa significationi ⇒ (symbolum dominium codominiumque functionis in mathematica indicet; vide index symbolorum mathematicae).Significatio ⊃ sit aequa significationi ⇒ (symbolum supercopiam significet).x = 2  ⇒  x2 = 4 est verum, sed x2 = 4   ⇒  x = 2 est falsum (quia x potest −2).U+21D2U+2192U+2283 &rArr;&rarr;&sup; \Rightarrow\to\supsetsignificat; si .. tuncLogica propositionalis, Algebra Heyting⇔≡↔Aequalitas materialisA ⇔ B significat quod A est verum si et solum si B est verum.x + 5 = y +2  ⇔  x + 3 = yU+21D4U+2261U+2194 &hArr;&equiv;&harr; \Leftrightarrow\equiv\leftrightarrowsi et solum siLogica propositionalis¬˜!Negatio¬A est verum si et solum si A est falsum.Virgula (/) quae trans aliam operatorem scribitur est velut "¬" ante scriptum.¬(¬A) ⇔ A  x ≠ y  ⇔  ¬(x =  y)U+00ACU+02DCU+0041&not;&tilde; aut ~! \lnot\sim!nonLogica propositionalis∧ •&Coniunctio logicalisA ∧ B est verum si et A et B sunt vera; alioquin est falsum.n < 4  ∧  n >2  ⇔  n = 3 ubi n est numerus naturalis.U+2227U+00B7U+0026 &and;&middot;&amp; \land\cdot\&Quamquam \& in LaTeX adest, systema Mediawiki TeX non exsequitur. Magis uti \And. etLogica propositionalis∨+Disiunctio logicalisA ∨ B est verum si aut A aut B (aut uterque) est verum; si uterque sunt falsum, dictum est falsum.n ≥ 4  ∨  n ≤ 2  ⇔ n ≠ 3 ubi n est numerus naturalis.U+2228U+002B &or;+ \lor+velLogica propositionalis, Algebra Booleana⊕⊻ Disiunctio exclusionalis A ⊕ B est verum si aut A aut B, sed non uterque, est verum. A ⊻ B idem significat. (¬A)  ⊕ A semper est verum; A ⊕ A semper est falsum.U+2295U+22BB &oplus;&#x22BB; \oplus\veebarautLogica propositionalis, Algebra Booleana⊤T1 Tautologia ⊤ semper est verum. A ⇒ ⊤ semper est verum.U+22A4U+0054U+0031 &#x22A4;T1 \topT1apexLogica propositionalis, Algebra Booleana⊥F0 Contradictio ⊥ semper est falsum. ⊥ ⇒ A semper est verum.U+22A5U+0046U+0030 &perp;F0\botF0fundusLogica propositionalis, Algebra Booleana∀Quantificatio universalis∀ x: P(x) significat quod P(x) est omni x verum.∀ n ∈ N: n2 ≥ n.U+2200&forall; \forallomniLogica praedicatorum∃Quantificatio existentialis∃ x: P(x) significat quod est minime unum x ut P(x) sit verum.∃ n ∈ N: n est par.U+2203&exist; \existsestLogica ordinis primi∃!Quantificatio unici∃! x: P(x) significat quod est unicum x ut P(x) sit verum.∃! n ∈ N: n + 5 = 2n.U+2203 U+0021 &exist; !\exists !est unicumLogica ordinis primi:=≡:⇔Definitiox := y aut x ≡ y significat quod x definitur velut aliam nomen pro y (sed nota quod ≡ alias res significare potest, velut congruens).P :⇔ Q significat quod P definitur velut aequum logicalem Q.cosh x := (1/2)(exp x + exp (−x))A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B)U+003A U+003DU+2261U+003A U+229C :=&equiv;: &hArr; :=\equiv: \Leftrightarrowdefinitur velutubique( )Grex praecedendi Operationes in parenthesibus primum exsequi.(8/4)/2 = 2/2 = 1, sed 8/(4/2) = 8/2 = 4.U+0028 U+0029 ( ) ( )ubique ⊢Coniecturax ⊢ y significat quod y deducitur ab x. A → B ⊢ ¬B → ¬AU+22A2 &#x22A2; \vdashinfert aut deducitur abLogica propositionalis, Logica ordinis primi

 Notae 

Categoria:Notatio mathematica