Definition:Unary Logical Connective

From ProofWiki
Jump to: navigation, 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.


There are four of these, the only non-trivial one being not, or Negation.

Personal tools
Namespaces
Variants
Actions
Navigation
ProofWiki.org
ToDo
Toolbox
Google AdSense