Exercise · ZW-LOGICAL-OPERATOR-010 · ★★★ Advanced
Which operator transforms a single proposition?
Choose one option.
Show answer
- C. Negation
Explanation
Negation \(\neg\) is the only one of the four that takes a single proposition. Conjunction, disjunction and equivalence are binary.
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 What does a logical operator do?
- ZW-LOGICAL-OPERATOR-002 A unary operator takes...
- ZW-LOGICAL-OPERATOR-003 A binary operator takes...
- ZW-LOGICAL-OPERATOR-004 Which expression uses a unary operator?
- ZW-LOGICAL-OPERATOR-005 Which expression uses a binary operator?
- ZW-LOGICAL-OPERATOR-006 What is a logical operator used for inside a formula?
- ZW-LOGICAL-OPERATOR-007 Which one is a unary operator?
- ZW-LOGICAL-OPERATOR-008 Which of these symbols is a binary operator?