In the Following Proof, Which Justification Is Correct for Line

question 98

Multiple Choice

In the following proof, which justification is correct for line 5? $\begin{array}{llcc} \text { (1) \( (x) [\operatorname{Ix}\supset(\mathrm{T} x x \supset H x) ] \) } & & \text { Premise } \\ \text {(2) \( (x) (\mathrm{H} x \supset \mathrm{D} x) \cdot(y) \sim \mathrm{D} y \) } && \text { Premise/Conclusion } \\& \text { \(/(x) (\exists y) \sim(\mathrm{I} y \cdot \mathrm{Tyx}) \) } &\\ \text { (3) \( (x) (\mathrm{H} x \supset \mathrm{D} x) \) } && \text { \( 2 \operatorname{Simp} \) } \\ \text { (4) \( (y) \sim D y \) } && \text { \( 2 \operatorname{Simp} \) } \\ \text { (5) \( \mathrm{Ia} \supset(\mathrm{Taa} \supset \mathrm{Ha}) \) } &\\\end{array}$

---

Definitions:

Assigned Names and Numbers

The coordination and management of Internet domain names and IP addresses, ensuring that users and systems can find each other online.

Operational Stability

The ability of an organization to maintain consistent operations and performance levels despite external or internal disruptions.

Presentation Software

A category of application software that allows users to create visual aids for presentations to enhance communication of ideas and information.

Production Software

Computer programs and digital tools used to control and manage the manufacturing process, from planning and design to actual production.