Пример 5. Построить вывод формулы СÉ А, СÉ В, С├ AÙ В 1

Пример 4.

Пример 3.

Построить вывод формулы СÉ А, СÉ В, С├ AÙ В

1. СÉ А	1. посылка
2. СÉ В	2. посылка
3. С	3. посылка
4. A	4. МР(F1,F3)
5. В	5. МР(F2,F3)
6. А É (В É АÙ В)	6. АС3
7. В É АÙ В	7. МР(F4,F6)
8. АÙ В	8. МР(F5,F7)
9. СÉ А, СÉ В, С├ AÙ В	9. ОФВ (1-8) – определение формального вывода

Построить вывод формулы Ø A É В, СÙ Ø В├ А

1. Ø A É В	1. посылка
2. СÙ Ø В	2. посылка
3. СÙ Ø ВÉ Ø В	3.
4. Ø В	4. МР(F2,F3)
5. (ØA É В)É ((ØA É Ø В)É А)	5.
6. (ØA É Ø В)É А	6. МР(F1,F5)
7. Ø В É (ØA É Ø В)	7.
8. ØA É Ø В	8. МР(F4,F7)
9. А	9. МР(F6,F8)
10. Ø A É В, СÙ Ø В├ А	10. ОФВ (1-9) – определение формального вывода

Построить вывод формулы A ~ В, В ~ С├ А ~ С

1. A ~ В	1. посылка
2. В ~ С	2. посылка
3. (A É С)É ((С É А)É (А~ С))	3.
4. (A É В)É ((А É (ВÉ С))É (А É С))	4. АС2
5. (A ~ В)É (AÉ В)	5. АС12
6. A É В	6. МР(F1,F5)
7. (А É (ВÉ С))É (А É С)	7. МР(F4,F6)
8. (В ~ С)É (ВÉ С)	8.
9. ВÉ С	9. МР(F2,F8)
10. (В É С)É (АÉ (В É С))	10.
11. АÉ (В É С)	11. МР(F9,F10)
12. АÉ С	12. МР(F7,F11)
13. (СÉ А)É (А~ С)	13. МР(F3,F12)
14. (СÉ В)É ((СÉ (ВÉ А))É (СÉ А))	14.
15. (В ~ С)É (СÉ В)	15.
16. СÉ В	16. МР(F2,F15)
17. (СÉ (ВÉ А))É (СÉ А)	17. МР(F14,F16)
18. (A ~ В)É (ВÉ А)	18. АС13
19. ВÉ А	19. МР(F1,F18)
20. (В É А)É (СÉ (В É А))	20.
21. СÉ (ВÉ А)	21. МР(F19,F20)
22. СÉ А	22. МР(F17,F21)
23. А ~ С	23. МР(F13,F22)
24. A ~ В, В ~ С├ А ~ С	24. ОФВ (1-23) – определение формального вывода

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