Definition:Biconditional/Truth Table/Number
Jump to navigation
Jump to search
Definition
The truth table number of the biconditional operator $p \iff q$ is as follows:
Ascending and descending order:
- $1001$ or $\T \F \F \T$
Sources
- 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 2.5$: Further Logical Constants