Company policy documentation states the following:
All employees who hold a Level 4 security clearance have passed a rigorous background check. No one who has passed a rigorous background check has a history of financial insolvency. Every employee assigned to the Quantum Project holds a Level 4 security clearance. Furthermore, some employees who hold a Level 4 security clearance are recent college graduates.
Based on the information above, which of the following statements must be true? Select all that apply.
- No employee assigned to the Quantum Project has a history of financial insolvency.Answer
- At least some recent college graduates have passed a rigorous background check.Answer
- CAny employee without a history of financial insolvency holds a Level 4 security clearance.
- DAt least some employees assigned to the Quantum Project are recent college graduates.
- EIf an employee is not assigned to the Quantum Project, that employee does not hold a Level 4 security clearance.
Answer
The statements that must be true are: 'No employee assigned to the Quantum Project has a history of financial insolvency' and 'At least some recent college graduates have passed a rigorous background check.'
The correct statements are derived through valid logical deductions directly from the text. First, chaining the premises 'Every employee assigned to the Quantum Project holds a Level 4 security clearance', 'All employees with Level 4 clearance have passed a rigorous background check', and 'No one who has passed a rigorous background check has a history of financial insolvency' logically proves that no Quantum Project employee has a history of financial insolvency. Second, combining the premise 'some employees who hold a Level 4 clearance are recent college graduates' with 'All employees with Level 4 clearance have passed a rigorous background check' guarantees that at least some recent college graduates have passed the rigorous background check.
Step-by-Step Solution
Key Concept
Chaining conditional statements and correctly integrating quantifier logic ('some') without making unwarranted assumptions.