I know that the value of said output can be either True of False, but what is the actual output called?

Another way of phrasing the question is, is what do you call the resolution of a complex proposition?

  • A line in a truth-table correspons to a valuation, i.e. to a "truth-assignment" of (truth) values to the elementary proposition occurring in the "complex" one. May 26, 2016 at 8:11

1 Answer 1


It is called the truth value of the sentence/formula.

And the truth values of the atomic propositions are referred to as truth assignments.


" α = (A → B) V (B → A)

α is a tautology because its truth value is T regardless of the truth assignments to propositions A and B."

  • I know, but what if you wanted to just talk about complex propositions regardless of the truth value of said complex proposition when the propositions that form it are in any given state? May 26, 2016 at 1:42
  • I don't quite get what you're saying, sorry. Let me try this: you can talk about the truth value - without specifying if it is T or F - of a formula regardless of the truth assignments of its atomic propositions.
    – wet
    May 26, 2016 at 11:53
  • Check what I added to the answer - is this the situation you're referring to?
    – wet
    May 26, 2016 at 11:58

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .