* Language '''L<sub>6</sub>''' expresses the sixteen functions in one of several notations that are commonly used in formal logic. | * Language '''L<sub>6</sub>''' expresses the sixteen functions in one of several notations that are commonly used in formal logic. |