Definition:Logical Connective/Also defined as

From ProofWiki
Jump to navigation Jump to search

Logical Connective: Also defined as

Some sources reserve the term logical connective for what on $\mathsf{Pr} \infty \mathsf{fWiki}$ is defined as a binary logical connective, on the grounds that a unary logical connective does not actually "connect" anything.

However, this is a trivial distinction which can serve only to confuse.


Sources