truth function

logic

Written by

The Information Architects of Encyclopaedia Britannica

Last updated

July 14, 2026

Quick Summary

A truth function is a propositional function whose truth-value depends solely on the truth-values of its arguments. In logic, propositions are either true or false, and these are called their truth values. Operators, such as "not," "and," "or," "if...then," and "is equivalent to," combine propositions to form new ones.123

A truth table is a chart that displays the truth-value of a compound proposition for every possible combination of truth-values of its component parts. This method is used to test the validity of arguments in logic. For example, the truth table for "p or q" shows that the statement is false only when both p and q are false.45

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

6 Britannica Sources

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.

formal logic
Basic features of PC
…an operator is called a truth function of the operator’s argument(s). The truth functionality of the PC operators is clearly brought out by summarizing the above account of them in truth table for most common operators
Read More
…an operator is called a truth function of the operator’s argument(s). The truth functionality of the PC operators is clearly brought out by summarizing the above account of them in truth table for most common operators
Read More