MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to search
7 bytes added
, 04:20, 3 December 2008
Line 139: |
Line 139: |
| And so on. | | And so on. |
| | | |
− | The implication <math>x \Rightarrow y</math> is written <math>(x (y)),\!</math> which can be read "not <math>x\!</math> without <math>y\!</math>" if that helps to remember the meaning. | + | The implication <math>x \Rightarrow y</math> is written <math>(x (y)).\!</math> Reading the latter as "not <math>x\!</math> without <math>y\!</math>" helps to recall its implicational sense. |
| | | |
| This corresponds to the logical graph: | | This corresponds to the logical graph: |