1. The logical relation between two statements p and q, usually expressed as ``if p then q.''

2. A logic operator having the characteristic that if p and q are statements, the implication of p and q is false if p is true and q is false, and is true otherwise. Also known as conditional implication; if-then operation; material implication.