Пример 7. Проиллюстрировать метод доказательства теоремы дедукции, преобразовав вывод А É (ВÉ С)

Проиллюстрировать метод доказательства теоремы дедукции, преобразовав вывод А É (ВÉ С), АÙ В├ С в вывод А É (ВÉ С)├АÙ ВÉ С.

Данный вывод	Результирующий вывод
		1. А É (ВÉ С)	1. посылка
		2. (А É (ВÉ С))É(АÙВÉ(АÉ(ВÉ С)))	2.
1. АÉ(ВÉ С)	1. посылка	3. АÙВÉ (А É (ВÉ С))	3. МР(F1,F2)
		4. (АÙВÉ(ВÉАÙВ))É((АÙВÉ((ВÉАÙВ)É ÉАÙВ))É (АÙВÉ АÙВ))	4.
		5. АÙВÉ(ВÉАÙВ)	5.
		6. (АÙВÉ((ВÉАÙВ)ÉАÙВ))É(АÙВÉАÙВ)	6. МР(F4,F5)
		7. АÙВÉ((ВÉАÙВ)ÉАÙВ)	7.
2. АÙВ	2. посылка	8. АÙВÉАÙВ	8. МР(F6,F7)
		9. АÙВÉА	9. АС4
		10. (АÙВÉА)É(АÙВÉ(АÙВÉА))	10.
3. АÙВÉА	3. АС4	11. АÙВÉ(АÙВÉА)	11. МР(F9,F10)
		12. (АÙВÉАÙВ)É((АÙВÉ(АÙВÉА))É(АÙ ÙВÉА))	12.
		13. (АÙВÉ(АÙВÉА))É(АÙВÉА)	13. МР(F8,F12)
4. А	4. МР(F2,F3)	14. АÙВÉА	14. МР(F11,F13)
		15. АÙВÉВ	15. АС5
		16. (АÙВÉВ)É(АÙВÉ(АÙВÉВ))	16.
5. АÙВÉВ	5. АС5	17. АÙВÉ(АÙВÉВ)	17. МР(F15,F16)
		18. (АÙВÉАÙВ)É((АÙВÉ(АÙВÉВ))É(АÙ ÙВÉВ))	18.
		19. (АÙВÉ(АÙВÉВ))É(АÙВÉВ)	19. МР(F8,F18)
6. В	6. МР(F2,F5)	20. АÙВÉВ	20. МР(F17,F19)
		21. (АÙВÉА)É((АÙВÉ(АÉ(ВÉС)))É(АÙВÉ É(ВÉС)))	21.
		22. (АÙВÉ(АÉ(ВÉС)))É(АÙВÉ(ВÉС))	22. МР(F14,F21)
7. ВÉС	7. МР(F1,F4)	23. АÙВÉ(ВÉС)	23. МР(F3,F22)
		24. (АÙВÉВ)É((АÙВÉ(ВÉС))É(АÙВÉС))	24.
		25. (АÙВÉ(ВÉС))É(АÙВÉС)	25. МР(F20,F24)
8. С	8. МР(F6,F7)	26. АÙВÉС	26. МР(F23,F25)

Дата добавления: 2015-06-27