I’ll go ahead and copy out the first part of the article on Logical Implication, as I find I am still pleased with all I was able to say in such a short space.
The concept of logical implication encompasses a specific logical function, a specific logical 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.
Close approximations to the concept of logical implication are expressed in ordinary language by means of linguistic forms like the following:
Here and are propositional variables that stand for any propositions in a given language. In a statement of the form the first term, is called the antecedent and the second term, is called the consequent, while the statement as a whole is called either the conditional or the consequence. Assuming that the conditional statement is true, then the truth of the antecedent is a sufficient condition for the truth of the consequent, while the truth of the consequent is a necessary condition for the truth of the antecedent.
Note. Many writers draw a technical distinction between the form and the form In this usage, writing asserts the existence of a certain relation between the logical value of and the logical value of whereas writing merely forms a compound statement whose logical value is a function of the logical values of and This will be discussed in detail below.