Wiki source code of or

Last modified by Administrator on 2020/08/13 18:57
Show last authors
1 h1. Notations of OR
2
3 In logic and mathematics, OR is a connective in logic which yields true if any one of a sequence conditions is true, and false if all conditions are false.
4
5
6 h3. Description of this symbol
7
8 - OR in [OpenMath|http://www.openmath.org/cd/logic1.xhtml#or]
9 - OR in [MathML|http://www.w3.org/TR/MathML3/chapter4.html#contm.or]
10 - OR also is described in [MathWord|http://mathworld.wolfram.com/OR.html] and in [Wikipedia|http://en.wikipedia.org/wiki/Or_%28logic%29]
11
12 ----
13
14 h3. Observations of OR
15
16 Put your observations here...
17
18 h4. English
19 !or1-en.png|align=right! In the book [A Logical Approach to Discrete Math|Census.Bibliography#discrete-math-GriesAndShneider] in page 49 we find the disjunction operator is defined by the example on the right.
20 [Find the example in google books link|http://books.google.com/books?id=ZWTDQ6H6gsUC&lpg=PA201&dq=superset%20math&pg=PA49#v=onepage&q&f=false]
21
22 \\
23
24 h4. German
25 !or1-de.png|align=right! The German book [Mathematisch-strukturelle Grundlagen der Informatik|Census.Bibliography#Mathematisch-strukturelleGrundlagen-Zeitz.etall] also define the disjunction operator in page 230, and it is called _Disjunktion_ in German context.
26 [Go directly to the example|http://books.google.com.eg/books?id=lRxJ1PCHtZsC&lpg=PR12&vq=Logische%20Implikation&dq=Logische%20%C3%84quivalenz&as_brr=0&hl=en&pg=PA230#v=onepage&q&f=false]
27
28 \\
29
30 ----
31
32 h3. Encoding the observations of OR
33 [See encodings|http://devdemo.activemath.org/mathbridge/tools/symbolpresentation.cmd?order=by+Theory&lang=x-all&fmt=html&clipCoordinate=3&omsource=+%3COMOBJ%3E%0D%0A%0D%0A++++++++%3COMA%3E%0D%0A%0D%0A++++++++++%3COMS+cd%3D%22logic1%22+name%3D%22or%22+%2F%3E%0D%0A%0D%0A++++++++++%3COMV+name%3D%22a%22+%2F%3E%0D%0A%0D%0A++++++++++%3COMV+name%3D%22b%22+%2F%3E%0D%0A%0D%0A++++++++%3C%2FOMA%3E%0D%0A%0D%0A++++++%3C%2FOMOBJ%3E&submit=View]
34
35 \\
36
37 ----