Changes

In [[mathematics]] and [[mathematical logic]], 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 or 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.

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.

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:

* [[Logical implication]]

* [[Logical implication]]

* [[Logical NAND]]

* [[Logical NAND]]

* [[Logical NOR]]

* [[Logical NNOR]]

* [[Negation]]

* [[Negation]]

{{col-end}}

{{col-end}}

{{col-break}}

{{col-break}}

* [[Peirce's law]]

* [[Peirce's law]]

* [[Propositional logic]]

* [[Propositional calculus]]

* [[Sole sufficient operator]]

* [[Sole sufficient operator]]

* [[Zeroth order logic]]

* [[Zeroth order logic]]