Write a formal proof for the following biconditional statement. For all integers n, n^3 is even if and only if n is even. [Hint: For one of the two directions of this proof, you might want to consider a proof using the contrapositive.] [Reminder: You may use the parity property, which states that each integer is either even or odd, but not both.]

Please show the work necessary to get the answer.

The following argument is valid.   ((A ∨ D) → W)  (R ↔ (C ∧ T))  (← R → A)  ← (B ∨ C)  ∴ ← (W → C)  Below is a natural deduction proof, but with some of the lines and justifications  missing. Using any of the proof rules (from Ch. 16 & 18 of the text) in the natural  deduction system, fill in the missing lines and justifications to complete the proof  (3 points).  1 ((A ∨ D) → W) Pr.  2 (R ↔ (C ∧ T)) Pr.  3 (- R → A) Pr.  4 -(B ∨ C) Pr. /∴← (W → C)  5 (- B ∧ - C) _________  6 (W → C) _________  7 _________ ∧E, 5  8 - W MT, 6, 7  9 - (A ∨ D) _________  10 _________ DM, 9  11 - A ∧E, 10  12 _________ MT, 4  13 R _________  14 (C ∧ T) _________  15 C ∧E, 14  16 _________ -E, 7, 15  17 - (W → C) _________

Convert the following to integer and round it using Math.round(). (2 Marks)double d = 12.9; The assignment is due strictly on 01-02.2023 before the end of the day. Zero mark will be given for the duplicated/copied works