Changes

In [[logic]] and [[mathematics]] the concept of '''logical implication''' encompasses, depending on the context of use, a specific logical [[function (mathematics)|function]], a specific logical [[relation (mathematics)|relation]], and the various symbols that are used to denote this function and this relation.  In order to define the specific function, relation, and symbols in question it is first necessary to establish a few ideas about the connections among them.

The concept of '''logical implication''' encompasses, depending on the context of use, a specific logical [[function (mathematics)|function]], a specific logical [[relation (mathematics)|relation]], and the various symbols that are used to denote this function and this relation.  In order to define the specific function, relation, and symbols in question it is first necessary to establish a few ideas about the connections among them.

A close approximation to the concept of logical implication or material conditional is expressed in ordinary language by means of the following conditional form:

A close approximation to the concept of logical implication or material conditional is expressed in ordinary language by means of the following conditional form: