MAS 2103 Midterm: MAS 2103 FAU Exam 1S10
Document Summary
Exam 2 math 313 fall 2006. Directions: make sure to show any necessary work to receive full credit. If you need extra space please use the back of the sheet with appropriate labeling: supply a fitch proof for the following argument. Taut con but only to establish a law of excluded middle: (p q) 2: supply a fitch proof for the following argument. 11: q p, supply a fitch proof for the following argument. Taut con but only to establish a law of excluded middle: p q. 3: the following problem presents a formal argument. You may use taut con but only to justify an instance of the law of excluded middle: dodec(e, small(e, dodec(e) dodec(f) small(e) 4: the following problem presents a formal argument. You may use taut con but only to justify an instance of the law of excluded middle: dodec(b) cube(b, small(b) medium(b, small(b) cube(b) 5: the following problem presents a formal argument.
