Question

Difficulty: MediumForming Contrapositives

Match each access policy for the National Historical Archive on the left with its logically valid contrapositive on the right.

  • A researcher cannot access the restricted vault unless they possess a faculty sponsor and a valid security clearance.If a researcher lacks a faculty sponsor or lacks a valid security clearance, they are prohibited from accessing the restricted vault.
  • An artifact may be photographed only if it is fully restored or encased in protective glass.If an artifact is neither fully restored nor encased in protective glass, it cannot be photographed.
  • Having a certified archivist present is a necessary requirement to open the sealed manuscripts.If there is no certified archivist present, the sealed manuscripts cannot be opened.
  • Provided that a document is both fragile and heavily redacted, it will not be exhibited to the public.If a document is exhibited to the public, it must be either not fragile or not heavily redacted.

Answer

The correct pairings link each conditional statement to its logically equivalent contrapositive, paying close attention to De Morgan's laws for compound conditions.
Each matching pair accurately translates the natural language indicator words ('unless', 'only if', 'necessary', 'provided that') into a formal conditional relationship, then correctly reverses and negates both sides. For policies involving compound conditions, De Morgan's laws are correctly applied to switch 'and' to 'or' and vice versa.

Step-by-Step Solution

1
Analyze the first policy to identify the sufficient and necessary conditions.
Sufficient: Accessing the vault. Necessary: Possessing a sponsor AND a clearance.
The word 'unless' introduces the necessary condition, while the negated sufficient condition becomes positive.
2
Form the contrapositive of the first policy using De Morgan's laws.
If a researcher lacks a sponsor OR lacks a clearance, they cannot access the vault.
Negating an 'AND' statement turns it into an 'OR' statement, and reversing it yields the valid contrapositive.
3
Identify conditions and form the contrapositive for the second policy.
Original: Photographed -> Restored OR Encased. Contrapositive: Not Restored AND Not Encased (Neither) -> Cannot be Photographed.
'Only if' points to the necessary condition. Negating 'OR' results in 'neither/nor' (AND).
4
Identify conditions and form the contrapositive for the third policy.
Original: Open manuscripts -> Archivist present. Contrapositive: No archivist present -> Cannot open manuscripts.
An explicitly stated 'necessary requirement' becomes the right side of the conditional arrow. Negating both sides and reversing gives the valid deduction.
5
Identify conditions and form the contrapositive for the fourth policy.
Original: Fragile AND Redacted -> Not Exhibited. Contrapositive: Exhibited -> Not Fragile OR Not Redacted.
'Provided that' introduces a sufficient condition. Negating 'not exhibited' yields 'exhibited'. Negating 'fragile AND redacted' yields 'not fragile OR not redacted'.

Key Concept

Forming logically valid contrapositives, including the application of De Morgan's laws to compound conditional statements.
Rate this question