→

Primitive symbol. Logical implication.

Description:

If phi and psi are wff's, so is (phi -> psi) or "phi implies psi." The resulting wff is (interpreted as) false when phi is true and psi is false; it is true otherwise. (Think of the truth table for an OR gate with input phi connected through an inverter.) The left-hand wff is called the anteedent, and the right-hand wff is called the consequent. In the case of (phi -> (psi -> chi)), the middle psi may be informally called either an antecedent or part of the consequent depending on context.

Type:

pr

Arguments:

(pr), (pr),