Statement Forms:
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 a biconditional, is equivalent to the conjunction (pq) (qp). The truth table for the biconditional is:
p
q
p q
T
T
T
Biconditional
F
T
F
T
F
F
F
F
T
As a result, a biconditional statement is true if p and q have the same truth value, and false if they have different truth values.


Statement Forms

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