Exercise · ZW-LOGICAL-OPERATOR-002 · ★☆☆ Basic

A unary operator takes...

Choose one option.

Show answer
  • C. One proposition

Explanation

A unary operator has arity one, so it takes a single proposition. For example, \(\neg P\) takes only \(P\).

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-001 ZW-LOGICAL-OPERATOR-003 →