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. |