en.wikipedia.org/wiki/Material_conditional

The material conditional is a logical connective (or a binary operator) that is often
symbolized ..... It is not surprising that a rigorously defined truth-functional
operator does not correspond ex...

whatis.techtarget.com/definition/logical-implication

Logical implication is a type of relationship between two statements or sentences.
The relation translates verbally into "logically implies" or "if/then" and is ...

mathworld.wolfram.com/Implies.html

"Implies" is the connective in propositional calculus which has the meaning "if A
... denoted OR (though this is not the case, for example, in intuitionistic logic). =>
is a binary operator that is implemented in the Wolfram Language as Implies[A, B]
...

www.math.illinois.edu/~ajh/347.summer14/logic.pdf

The basic logical operations are ∧ (“and”), ∨ (“or”), ¬ (negation), and ⇒ (“
implies”), and ⇐⇒ (“equivalent”); they are defined in the following “truth tables”: P
. Q.

www.math.fsu.edu/~pkirby/mad2104/SlideShow/s2_1.pdf

Logic. 1. Logic Definitions. 1.1. Propositions. Definition 1.1.1. A proposition is a
..... between the implication and biconditional operators can often be confusing, ...

kias.dyndns.org/comath/21.html

We will now define the logical operators which we mentioned earlier, using truth
... The implication operator (IMPLIES) is a binary operator, and is defined in a ...

planetmath.org/logicalimplication

Mar 17, 2008 ... The truth table for the logical implication operation that is written as p⇒q and ... In
order to define the specific function, relation, and symbols in ...

www.philosophypages.com/lg/e10a.htm

The first step, of course, is to define precisely all of the special, new symbols we
will ... The five logical operators are all truth-functional connectives; the truth or ...
The ⊃ symbol is used to symbolize a relationship called material implication; ...

wiki.c2.com/?LogicalImplication

Some (but quite possibly by no means all) of you will know that the usual
interpretation of the "logical implication" (->) connective is: ... situations described
in the expressions are possible or not possible, the expression itself is valid or
not valid.