volume_mute

Arrange connectives in order of precedence

publish date: 2022/06/15 02:24:00 GMT+10

Please drag and drop the options to sort them
∧ ∨
'
→
connectives within parentheses, innermost parentheses first
↔

Correct Answer

(1) connectives within parentheses, innermost parentheses first
(2) '
(3) ∧ ∨
(4) →
(5) ↔

Explanation

The correct order is

  1. connectives within parentheses, innermost parentheses first
  2. '
  3. ∧ ∨ 
  4. →  
  5. ↔ 

This means that A ∨ B' stands for A ∨ (B') not (A ∨ B)'. And A ∧ B → C stands for (A ∧ B) → C not A ∧ (B → C).  However, parentheses are usually used to ensure there is no confusion.

Reference

Mathematical Structures for Computer Science, Discrete Mathematics and its Applications, seventh edition

Quizzes you can take where this question appears