Biconditional Statements

In propositional logic, we use a special symbol () for the "if and only if" relationship between components. As the example makes clear, a statement of the form,p q, which is called abiconditional, is equivalent to the conjunction (pq) (qp). The truth table for the biconditional is:As a result, a biconditional statement is true if

pqpqT T T BiconditionalF T F T F F F F T pandqhave the same truth value, and false if they have different truth values.

© Copyright 1998, W.W. Norton & Co. |