Everything About ___
Live briefing

Everything about Truth function

Function in logic

In logic, a truth function is a function that accepts truth values as input and produces a unique truth value as output. In other words: the input and output of a truth function are all truth values; a truth function will always output exactly one truth value, and inputting the same truth value(s) will always output the same truth value. The typical example is in propositional logic, wherein a compound statement is constructed using individual statements connected by logical connectives; if the truth value of the compound statement is entirely determined by the truth value(s) of the constituent statement(s), the compound statement is called a truth function, and any logical connectives used are said to be truth functional. Wikipedia →

🧭 Start here: a 6-step reading path

  1. Read the overview: Truth functionA 5-minute orientation
  2. Skim a recent paper: The Truth and Reconciliation Commission as a Transcendent FunctionInfluential work since 2022
  3. Pick up a classic book: Truth-functional logicThe most-reprinted book on the subject
  4. Read the landmark paper: Algorithm for analyzing logical statements to produce a truth function tableCited 238 times
  5. Go sideways: Functional completenessA closely related topic
  6. Go sideways: Truth tableA closely related topic

📖 Definitions

Noun A Boolean function whose value is interpreted as truth or falsity

🗂️ The subject at a glance

  1. Overview
  2. Table of binary truth functions
  3. Functional completeness
  4. Algebraic properties
  5. Principle of compositionality
  6. Definition
  7. Computer science

🏆 Landmark papers (most cited)

🆕 Influential since 2022

📚 Books worth reading

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics