Soru

Zorluk: OrtaMust Be True / Most Strongly Supported

An international planetary protection protocol for deep-space missions establishes the following rules:

• Any robotic lander targeting a celestial body with confirmed subsurface liquid water must undergo dry heat microbial reduction unless it is assembled entirely within an ultra-clean biobarrier.
• No robotic spacecraft assembled within an ultra-clean biobarrier is permitted to incorporate commercial off-the-shelf microprocessors.
• The planned Callisto Surface Probe is a robotic lander targeting a body with confirmed subsurface liquid water and incorporates commercial off-the-shelf microprocessors.

Statement: The Callisto Surface Probe is required to undergo dry heat microbial reduction.

Cevap: Cevap

Cevap

True
The stimulus dictates that a lander targeting subsurface water must undergo dry heat reduction unless assembled in a biobarrier. By contrapositive logic, containing off-the-shelf microprocessors means the probe was not assembled in a biobarrier. Without that exemption, the mandatory dry heat reduction is triggered, proving the statement is definitively true.

Adım Adım Çözüm

1
Formalize the conditional rules given in the stimulus.
Rule 1: (Lander Targeting Subsurface Water AND NOT Biobarrier) → Dry Heat Reduction. Rule 2: Biobarrier → NOT Off-the-Shelf Microprocessors.
Establishing clear conditional logic rules is necessary to trace deductive requirements.
2
Take the contrapositive of Rule 2 and apply the factual premises regarding the probe.
Contrapositive of Rule 2: Off-the-Shelf Microprocessors → NOT Biobarrier. Since the Callisto Surface Probe incorporates commercial off-the-shelf microprocessors, it is NOT assembled within an ultra-clean biobarrier.
This determines whether the probe qualifies for the biobarrier exemption under Rule 1.
3
Synthesize the probe's characteristics with Rule 1.
The probe is a robotic lander targeting a body with subsurface water AND is NOT assembled within a biobarrier. Therefore, it must undergo dry heat microbial reduction.
Combining the validated premises triggers the necessary requirement of Rule 1.

Anahtar Kavram

Deductive Conditional Chaining and Contrapositive Inference
Tahmini Süre:1m 15s
Bu soruyu puanla