Home > Terms > English, UK (UE) > Truth-functional operator

Truth-functional operator

An operator in a logical language (see sentence logic) is said to be truth functional if and only if the truth value of a proposition in which it appears is wholly determined by the truth value of the subsidiary propositions on which it operates. e.g. The truth value of p&q is wholly determined once we know the truth value of p and the truth value of q; hence the operator, &, is truth functional. See non-truth-functional.

This is auto-generated content. You can help to improve it.
0
Collect to Blossary

Member comments

You have to log in to post to discussions.

Terms in the News

Featured Terms

Harry8L
  • 0

    Terms

  • 0

    Blossaries

  • 1

    Followers

Industry/Domain: Software Category: Anti virus

Direct action virus

A direct-action virus works immediately to load itself into memory, infect other files, and then to unload itself.

Contributor

Featured blossaries

Famous Pharaoh

Category: History   3 6 Terms

Game Types and

Category: Entertainment   2 18 Terms