Лекция 5. Доказательство нескольких утверждений (a - g)

Доказательство нескольких утверждений (a - g)

(a). (Доказали на семинаре)

1 - (A3())

2 - теорема (1)

3 - 1,2 по следствию 2

4 - (А1())

5 - 3,4 по следствию 1

(b). (Доказали на семинаре)

1. - (А3())

2. - пункт (а)

3. - 1,2 по МП

4. - (А1())

5. - 3,4 по следствию 1

(c). (Доказали на семинаре)

По теореме дедукции достаточно доказать, что

1. - гипотеза

2. - гипотеза

3. - (А1)

4. - (А1)

5. - 2,3 по МП

6. - 1,4 по МП

7. - (А3)

8. - 6,7 по МП

9. - 5,8 по МП

(d).

По теореме дедукции достаточно доказать, что

1. - гипотеза

2. - гипотеза

3. - (А3)

4. - (А1)

5. - 1,3 по МП

6. - 4,5 по следствию 1

7. - 2,6 по МП

(e). По теореме дедукции достаточно доказать

1. - гипотеза

2. - пункт (а)

3. - 1,2 по следствию 1

4. - пункт (в)

5. 3,4 по следствию 1

6. пункт (d)

7. - 5,6 по МП

(f).

1. - следствие 3

2. - пункт (е)

3. - 1,2 по следствию 1

(g). . По теореме дедукции достаточно доказать

1. - гипотеза

2. - гипотеза

3. - пункт (е)

4. 1,3 по МП

5. - пункт (е)

6. - 2,5 по МП

7. - (А3)

8. - 6,7 по МП

9. - 4,8 по МП

Дата добавления: 2013-12-13