Material Implication →.

  Material implication is the connective → . A→B is short for: ¬A∨B. Unless otherwise specified, implication is material implication. This is expressed by the assignment:

In[1]:=

MaterialImplication = True ;

Created by Mathematica  (October 17, 2006)