Exercise · ZW-LOGICAL-OPERATOR-009 · ★★★ Advanced

The arity of an operator indicates...

Choose one option.

Show answer
  • D. How many propositions it takes

Explanation

Arity is the number of propositions an operator takes, not its truth value. For example, \(\neg\) has arity one.

Open the ZWMath map →

Review the concept: Logical operator

A logical operator \(L\) is a function that, for some integer \(n\geq 1\), takes \(n\) propositions and produces a proposition.

\[L:\{\top,\bot\}^{n}\to\{\top,\bot\}\]

More practice problems: logical operator

← ZW-LOGICAL-OPERATOR-008 ZW-LOGICAL-OPERATOR-010 →