Construct and complete a proof in fitch for the sentence If a is not a cube, then it is either a yet or a codec. Since it is not a tet, and it is not a dodec, it follows that a must be a cube. This is directly a copy and paste version of the question.

Part Ilb: Argument Translation, Proof Construction, and Proof Completion. 1) Open Fitch. 2) Translate the argument below, using the relevant commands to set up the premises and conclusion. (Be sure to use the Enter New Goal command to enter the conclusion in the goal window.) 3) Next, construct and complete a proof for the argument, using only the truth-functional intro. and elim. inference rules (, v, 1, -, -, ->), as needed. Save your Fitch file as follows: LastName_First_Name_E3|lb. (15 pts.) If a is not a cube, then it is either a tet or a dodec. Since it is not a tet, and it is not a dodec, it follows that a must be a cube. Part Ilb: Argument Translation, Proof Construction, and Proof Completion. 1) Open Fitch. 2) Translate the argument below, using the relevant commands to set up the premises and conclusion. (Be sure to use the Enter New Goal command to enter the conclusion in the goal window.) 3) Next, construct and complete a proof for the argument, using only the truth-functional intro. and elim. inference rules (, v, 1, -, -, ->), as needed. Save your Fitch file as follows: LastName_First_Name_E3|lb. (15 pts.) If a is not a cube, then it is either a tet or a dodec. Since it is not a tet, and it is not a dodec, it follows that a must be a cube