Implications
Implications are statements of conditional logic.
Contents
Description
The expression p -> q should be read as meaning 'p implies q', or to be more verbose, 'q is true if p is true'. This is a statement of conditional logic.
In the above example, p is the antecedent and q is the consequent.
The biconditional is an evolution of this concept, indicating that '`q is true if and only if p is true'. This is written as p <-> q. This is sometimes written as p iff q instead.