A 2 4 r b h 2 i 2 i 1 i i p b h 2 i i i i deduction c

• Notes
• 4

This preview shows pages 3–4. Sign up to view the full content.

A = { 0 , 2 , 4 , . . . } R B = {h 2 i, 2 i + 1 i | 0 i } P B = {h 2 i, i i | 0 i } Deduction

This preview has intentionally blurred sections. Sign up to view the full version.

(c) X : { ( x ) Rxx, ¬ ( x )( y ) Rxy, ( x )( y ) x = y } S : p ∧ ¬ p C : U C = R C = Deduction { 1 } (1) ( x ) Rxx P { 2 } (2) ¬ ( x )( y ) Rxy P { 3 } (3) ( x )( y ) x = y P { 3 , 4 } (4) ( y ) u = y (3) u EII { 1 } (5) Ruu (1) UI { 3 , 4 } (6) u = y (4) UI {} (7) u = y ( Ruu Ruy ) III { 3 , 4 } (8) u = x (4) UI {} (9) u = x ( Ruy Rxy ) III { 1 , 3 , (10) Rxy (5)(6) TF; 6 4 } (7)(8) { 4 } EIE (9) { 1 , 3 } (11) ( y ) Rxy (10) UG { 1 , 3 } (12) ( x )( y ) Rxy (11) UG { 1 , 2 , 3 } (13) p ∧ ¬ p (2)(12) TF
This is the end of the preview. Sign up to access the rest of the document.
• Spring '08
• WEINSTEIN
• Trigraph, Prime number, distinct structures, )Lzu

{[ snackBarMessage ]}

What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern