Definition:Truth Table/Number

From ProofWiki
Jump to navigation Jump to search


The truth table number of the truth table of a statement form is a string consisting of the truth values in numerical form of the main connective.

The order in which the truth table number is presented is usually in ascending or descending numerical order of the truth values of the simple statements contributing to that statement form, either:

Ascending order: $00, 01, 10, 11$, that is: $FF, FT, TF, TT$


Descending order: $11, 10, 01, 00$, that is: $TT, TF, FT, FF$

Which format is being used needs to be specified.

Hence the truth table number can be found by reading either up or down the column holding the main connective in the truth table of the statement form.

Also known as

The truth table number can be seen hyphenated: truth-table number.

Some sources refer to it as the matrix number.