Definition:Logical Connective/Unary

From ProofWiki
Jump to navigation Jump to search

Definition

A unary logical connective (or one-place connective) is a connective whose effect on its compound statement is determined by the truth value of one substatement.


In standard Aristotelian logic, there are four of these.

The only non-trivial one is logical not, as shown on Unary Truth Functions.


Also defined as

Some treatments do not consider a unary connective to be a logical connective as such, because it does not actually "connect" anything, but this is a trivial point which can serve only to confuse.


Also see


Linguistic Note

The word unary is pronounced yoo-nary.

Hence when the indefinite article precedes it, the form is (for example) a unary operation.


Sources