"Implies" is the connective in propositional calculus which has the meaning "if A is true, then B is also true." In formal terminology, the term conditional is often used to refer to this connective. The symbol used to denote "implies" is A⇒B, A superset B, or A->B. The Wolfram Language command Implies[p, q] can be used to represent the logical implication p⇒q. In classical logic, A⇒B is an abbreviation for ¬A⋁B, where ¬A denotes NOT and ⋁ denotes 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], and can not be extended to more than two arguments.

connective | equivalent | exists | for all | quantifier