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 '16 at 8:11

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 '16 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 '16 at 11:53
  • Check what I added to the answer - is this the situation you're referring to?
    – wet
    May 26 '16 at 11:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.