MyWikiBiz, Author Your Legacy — Thursday May 02, 2024
Jump to navigationJump to search
92 bytes added
, 17:48, 12 May 2012
Line 19: |
Line 19: |
| The concept of logical implication is associated with an operation on two logical values, typically the values of two propositions, that produces a value of <math>\mathrm{false}\!</math> just in case the first operand is true and the second operand is false. | | The concept of logical implication is associated with an operation on two logical values, typically the values of two propositions, that produces a value of <math>\mathrm{false}\!</math> just in case the first operand is true and the second operand is false. |
| | | |
− | In the interpretation where <math>0 = \mathrm{false}\!</math> and <math>1 = \mathrm{true}\!</math>, the truth table associated with the statement "<math>p\!</math> implies <math>q\!</math>", symbolized as <math>p \Rightarrow q\!</math>, is as follows: | + | In the interpretation where <math>0 = \operatorname{false}\!</math> and <math>1 = \operatorname{true}\!</math>, the truth table associated with the statement <math>{}^{\backprime\backprime} p ~\text{implies}~ q {}^{\prime\prime},\!</math> symbolized as <math>{}^{\backprime\backprime} p \Rightarrow q {}^{\prime\prime},\!</math> is as follows: |
| | | |
| <br> | | <br> |