Friday, 18 December 2020

A Concise Introduction to Logic, Patrick J. Hurley, Wadsworth, 2006, 9th ed,. 8.7, II, 11, p. 447

 

1.     (x)(y)(Txy ⊃ x = e)

2.     (∃x)Txi

∴ Tei

3.     Tmi

4.     (y)(Tmy ⊃ m = e)

5.     Tmi ⊃ m = e

6.     m = e

7.     Tei

 

 

 

2 EI

1 UI

4 UI

3,5 MP

3,6 Id

No comments:

Post a Comment