asg4-sol-addendum - MATH1090 Problem Set 4 -Solutions...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
MATH1090 Problem Set 4 —Solutions addendum December 2007 Dept. of MATH and STATS MATH1090. Problem Set 4 —Solutions addendum Posted: Dec. 5, 2007 (1) Section 6.6: Problems: 11: Prove ( x )( x := t A ) A [ x := t ], provided x is not free in t . Proof. ( x )( x := t A ) ⇔ h Def of ∃i ¬ ( x ) ¬ ( x := t A ) ⇔ h WL + taut. denom ¬ ( x ) p i ¬ ( x )( x := t → ¬ A ) ⇔ h WL + 1-pt rule ( version); denom ¬ p i ¬¬ A [ x := t ] ⇔ h taut. i A [ x := t ] ± 17: Prove by aux. var. metathm: ( x )( A B ) ( x ) A ( x ) B . Proof. Instead I prove ( x )( A B ) , ( x ) A ( x ) B . But this I did in class (it is in the text too). ± 20: About the “proof” of φ ( x,y ) φ ( x,y ). 1) 6.1.19 cannot be applied because it requires φ ( x,y ) in order to con- clude φ ( y,x ). But I do not have φ ( x,y ). 2) That no proof exists follows by building a countermodel:
Background image of page 1

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

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 3

asg4-sol-addendum - MATH1090 Problem Set 4 -Solutions...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online