MAT-2510 Midterm: MATH 2510 App State Spring2010 Test1 answer key
Document Summary
T ( b a) (a b) F ( b a) (a b) T (b) prove l10 in system l. [you may use the deduction theorem and theorems l1 l9. ] [textbook theorem"s proof omitted. : (12 points) flawed proof. I am in the middle of proving a b, a b b . First, show (using an abbreviated truth table) that this is indeed a theorem of l. then explain why i know i"ve made a mistake if i have the following lines in my proof: To use a truth table to see that this theorem holds, we must convert it to a statement with no assumptions: ( b a) (a b) ((a b) ( a b)) b ((a b) ( a b)) b. T ((a b) ( a b)) b. F ((a b) ( a b)) b. There are several ways to see that the proof is awed. One of the easiest ways is to note that m. p. (lines.