Wiki source code of or
Last modified by Administrator on 2020/08/13 18:57
Hide last authors
| author | version | line-number | content |
|---|---|---|---|
 |
1.1 | 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 | ---- |