Производные правила

Непрямые правила

Ответы

1. И 2. И 3. И 4. И 5. Л 6. И 7. Л 8. Л 9. И 10. И 11. Л 12. Л 13. И 14. И 15. Л 16. Л 17. Л 18. Л 19. Л 20. И 21. И 22. И

Выведем еще несколько важных логических тождеств, позволяющих проводить упрощения сложных формул. Их называют законами поглощения.

1.	X Ú (X Ù Ф) ≡ X		П1
2.	X Ú (X Ù Ф) ≡ (X Ù 1) Ú ≡ X Ù (1 Ú Ф) ≡ X Ù 1≡ X	действительно	П2
3.	(X Ù Ф) Ú (ØX Ù Ф) ≡ Ф
4.	(X Ù Ф) Ú (ØX Ù Ф) ≡ (X Ù ØX) Ù Ф ≡ 1 Ù Ф ≡ Ф	действительно
5.	(X1 Ù Х2) Ú (ØX1 Ù X3) Ú (Х2 Ù X3) ≡ (X1 Ù Х2) Ú (ØX1 Ù X3)		П3
6.	(X1 Ù Х2) Ú (ØX1 Ù X3) Ú (Х2 Ù X3) ≡ (X1 Ù Х2) Ú (ØX1 Ù X3) Ú (ØX1 Ù X1) Ù (Х2 Ù X3) ≡ ((X1 Ù Х2) Ú (X1ÙХ2 Ù X3)) ≡ ((X1 Ù Х2) Ù (1 Ú X3)) Ú ((ØX1 Ù X2) Ù (1 Ú X3)) ≡ ((X1 Ù Х2) Ú (ØX1 Ù X3)	действительно

Основные правила:

прямые

Правила введения и удаление конъюнкции

В.К.	У.К.
А В	А∧ В	А∧ В
А∧ В	А	В

Правила введения и удаления дизъюнкции

В.Д.	У.Д.
А (В)	А ∨ В	А ∨ В
А ∨ В	Ā	В
	В	А

Правило удаления импликации

У.И.

А → В

А

В

Правила введения и удаления эквиваленции

В.Э.	У.Э.
А→ В	А↔ В	А↔ В
В→ А	А→В	В → А
А↔ В

Правила введения импликации и сведения к абсурду

В.И.	С.А.
П (посылки)	П (посылки)
А(доп.)	А(доп.)
……	…….
…….	…….
…….	В
В	В
А→ В	А

Правило условного силлогизма

Правило	Доказательство
А→ В	А→ В	1.	Посылка
В → С	В →С	2.	Посылка
А→ С	А	3.	Допущение
	В	4.	У.И. 1, 3.
	С	5.	У.И. 2, 4.
	А→ С	6.	В.И. 3, 5

Правило modus tollens

Правило	Доказательство правила:
А → В		А → В	Посылки
В		В	Посылки
А		А	Допущение
		В	У.И.1,3.
		А	С.А. 2,4

Правило отрицания дизъюнкции (ОД)

Правило	Доказательство:
(А∨В)		(А∨В)	Посылка
А∧В		А	Допущение
		А∨В	В.Д.2
		А	С.А.1.3
		В	Допущение
		А∨В	В.Д.5
		В	С.А.1.6
		А∧В	В.К. 4, 7

Правило отрицания конъюнкции (ОК)

Правило	Доказательство:
(А∧В)		(А∧В)	Посылка
А∨В		(А∨В)	Допущение
		А∧В	О.Д.2
		А	У.К.3
		А	У.О.4
		В	У.К.3
		В	У.О.6
		А∧В	В.К.5.7
		(А∨В)	С.А.1,8
		А∨В	У.О.9

Правило контрапозиции 1

Правила контрапозиции:	Доказательство
А → В		А → В	Посылка
В→А		В	Допущение
		А	M.t.1,2
		В→А	В.И.2,3

Правило контрапозиции 2

2 Правило	Доказательство
В→А		В→А	Посылка
А → В		А	Допущение
		А	В.О.2
		В	M.t. 1,3
		В	У.О.4
		А → В	В.И. 2,5

Правило сложной контрапозиции

Правило:	Доказательство:
(А∧В)→С		(А∧В)→С	Посылка
(А∧С)→В		А∧С	Допущение
		А	У.К.2
		С	У.К.2
		(А∧В)	M.t.1,4
		А∨В	О.К.5
		А	В.О.3
		В	У.Д.6,7
		(А∧С)→В	В.И.2,8

Правило простой конструктивной дилеммы (П.К.Д.)

Правило	Доказательство:
А→С		А→С	Посылка
В →С		В →С	Посылка
А∨В		А∨В	Посылка
С		С	Допущение
		А	M.t.1,4
		B	M.t.2,4
		B	У.Д.3,5
		С	С.А.6.7

Правило сложной конструктивной дилеммы (С.К.Д.)

Правило	Доказательство:
А→В		А→В	Посылка
С→D		С→D	Посылка
А∨C		А∨C	Посылка
В ∨D		A	Допущение
		В	У.И.1,4
		В∨D	В.Д. 5
		A →(В∨D)	В.И.4,6
		С	Допущение
		D	У.И.2,8
		B∨D	В.Д.9
		С →(B∨D)	В.И.8,10
		B∨D	Сведение к П.К.Д. 3,7,11

Правило простой деструктивной дилеммы (П.Д.Д.)

Правило	Доказательство:
А→В		А→В	Посылка
А→С		А→С	Посылка
В ∨С		В ∨С	Посылка
А		В→А	Правило контрапозиции. 1
		С→А	Правило контрапозиции. 2
		А	П.К.Д. 3,4,5

Правило сложной деструктивной дилеммы (С.Д.Д.)

Правило	Доказательство:
А→В		А→В	Посылка
С→D		С→D	Посылка
В ∨D		В∨D	Посылка
А ∨С		В→А	П.К.1
		D→С	П.К.2
		А∨С	С.К.Д.3,4,5

Дата добавления: 2014-11-25