Wiki source code of implies
Last modified by Administrator on 2020/08/13 18:57
Show last authors
| author | version | line-number | content |
|---|---|---|---|
| 1 | h1. Notations of Implies | ||
| 2 | |||
| 3 | In logic, Implies is the connective in propositional calculus which has the meaning "if {html}\\(A\\){html} is true, then {html}\\(B\\){html} is also true". | ||
| 4 | |||
| 5 | |||
| 6 | h3. Description of Implies symbol | ||
| 7 | |||
| 8 | - Implies in [OpenMath|http://www.openmath.org/cd/logic1.xhtml#implies] | ||
| 9 | - Implies in [MathML|http://www.w3.org/TR/MathML3/chapter4.html#contm.implies] | ||
| 10 | - Implies also described in [MathWord|http://mathworld.wolfram.com/Implies.html] and in [Wikipedia|http://en.wikipedia.org/wiki/Logical_implication] | ||
| 11 | |||
| 12 | ---- | ||
| 13 | |||
| 14 | h3. Observations of this symbol | ||
| 15 | |||
| 16 | Put your observations here... | ||
| 17 | |||
| 18 | h4. English | ||
| 19 | !implies1-en.png|align=right! We find here a logical implication relation is showed in this formula on the right. | ||
| 20 | Find the book [A Logical Approach to Discrete Math|Census.Bibliography#discrete-math-GriesAndShneider] in our bibliography or go directly to [the example in page 76 in google books links|http://books.google.com/books?id=ZWTDQ6H6gsUC&lpg=PA201&dq=superset%20math&pg=PA76#v=onepage&q&f=false] | ||
| 21 | |||
| 22 | \\ | ||
| 23 | |||
| 24 | h4. German | ||
| 25 | !implies1-de.png|align=right! In the example on right we also find a logical implication relation is represented from the German book [Mathematisch-strukturelle Grundlagen der Informatik|Census.Bibliography#Mathematisch-strukturelleGrundlagen-Zeitz.etall] | ||
| 26 | [Find the example in page 59 in google books link|http://books.google.com.eg/books?id=lRxJ1PCHtZsC&lpg=PR12&vq=Logische%20Implikation&dq=Logische%20%C3%84quivalenz&as_brr=0&hl=en&pg=PA59#v=onepage&q&f=false] | ||
| 27 | |||
| 28 | \\ | ||
| 29 | |||
| 30 | ---- | ||
| 31 | |||
| 32 | h3. Encoding the observations of implies | ||
| 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%22implies%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 | ---- |