Under maritime regulatory guidelines established in 2025, a commercial freight vessel qualifies for Tier-1 Eco-Status if and only if it operates using green hydrogen propulsion and maintains a certified bi-annual hull inspection log. Furthermore, every commercial freight vessel holding Tier-1 Eco-Status is fully exempt from regional carbon emissions surcharges. During fiscal year 2026, the commercial freight vessel Aura was required to pay regional carbon emissions surcharges.
Based on the information provided, evaluate the validity of the following statement: During fiscal year 2026, the Aura either did not operate using green hydrogen propulsion or did not maintain a certified bi-annual hull inspection log.
Answer: Answer
Answer
The statement is True because the premises deductively guarantee that the vessel failed at least one of the two requirements for Tier-1 Eco-Status.
The conclusion is deductively forced by combining the contrapositive of the surcharge rule with the negation of a conjunction (De Morgan's Law). Because the vessel paid the surcharge, it did not have Tier-1 Eco-Status, which strictly means it lacked green hydrogen propulsion, lacked a certified log, or lacked both.
Step-by-Step Solution
Key Concept
Identifying Must-Be-True Statements using Contrapositive Logic and De Morgan's Laws of Negation