MAS 2103 Midterm: MAS 2103 FAU Exam 1S13
Document Summary
Exam 2 math 3130 fall 2009. Directions: make sure to show all 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 without premises. You may use taut con but only to establish a law of excluded middle. 21: ( p q) (p q) 2: supply a fitch proof for the following argument. Taut con but only to establish a law of excluded middle: s t. 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(b) cube(b, small(b) medium(b, small(b) cube(b) 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.