= Implications = '''Implications''' are statements of conditional logic. <> ---- == 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. ---- CategoryRicottone