"
I have added the necessary qualification.  Regarding the original lead, it was a mess. Amongst other things the original lead had redundancies, it employed terms without first defining them or linking to a definition, sometimes the term ""compound"" was used and other times ""statment"" was used, the relatively minor matter of material implication vs. logical entailment was too long, used an awful example and just confused what preceded it.  In the lead it would have been sufficient to just say something like: ""The material conditional is to be distinguished from logical entailment (which is usually symbolosed using [double turnstile].""  The distinction can then be detailed in the body of the article.  Also the failure to even mention propositional calculus  which is the context in which someone is most likely to look up the meaning of the operator  was an unacceptable omission.  By the time someone reaches the study of paraconsistent logical systems they will likely have no need to look up what a material conditional is on Wikipedia.  A novice is most likely to look up this entry in wikipedia and they will most likely have encountered the operator in the context of classical/Boolean propositional calculus.   "