Производные правила
| Правило условного силлогизма
| Правило modus tollens
| Правило отрицания дизъюнкции (ОД)
| Правило отрицания конъюнкции (ОК)
|
| Правило
| Доказательство
| | А→ В
| А→ В
| 1.
| ….
| | В → С
| В →С
| 2.
| ….
| | А→ С
| А
| 3.
| ….
| |
| В
| 4.
| ….
| |
| С
| 5.
| ….
| |
| А→ С
| 6.
| ….
| | | Правило
| Доказательство правила:
| | А → В
|
| А → В
| ….
| | В
|
| В
| ….
| | А
|
| А
| ….
| |
|
| В
| ….
| |
|
| А
| ….
| | | Правило
| Доказательство:
| | (А∨В)
|
| (А∨В)
| ….
| | А∧В
|
| А
| ….
| |
|
| А∨В
| ….
| |
|
| А
| ….
| |
|
| В
| ….
| |
|
| А∨В
| ….
| |
|
| В
| ….
| |
|
| А∧В
| ….
| | | Правило
| Доказательство:
| | (А∧В)
|
| (А∧В)
| ….
| | А∨В
|
| (А∨В)
| ….
| |
|
| А∧В
| ….
| |
|
| А
| ….
| |
|
| А
| ….
| |
|
| В
| ….
| |
|
| В
| ….
| |
|
| А∧В
| ….
| |
|
| (А∨В)
| ….
| |
|
| А∨В
| ….
| |
| | | | |
| Правило контрапозиции 1
| Правило контрапозиции 2
| Правило сложной контрапозиции
| Правило простой конструктивной дилеммы (П.К.Д.)
|
| Правила контрапозиции:
| Доказательство
| | А → В
|
| А → В
| ….
| | В→А
|
| В
| ….
| |
|
| А
| ….
| |
|
| В→А
| ….
| | | 2 Правило
| Доказательство
| | В→А
|
| В→А
| ….
| | А → В
|
| А
| ….
| |
|
| А
| ….
| |
|
| В
| ….
| |
|
| В
| ….
| |
|
| А → В
| ….
| | | Правило:
| Доказательство:
| | (А∧В)→С
|
| (А∧В)→С
| ….
| | (А∧С)→В
|
| А∧С
| ….
| |
|
| А
| ….
| |
|
| С
| ….
| |
|
| (А∧В)
| ….
| |
|
| А∨В
| ….
| |
|
| А
| ….
| |
|
| В
| ….
| |
|
| (А∧С)→В
| ….
| | | Правило
| Доказательство:
| | А→С
|
| А→С
| ….
| | В →С
|
| В →С
| ….
| | А∨В
|
| А∨В
| ….
| | С
|
| С
| ….
| |
|
| А
| ….
| |
|
| B
| ….
| |
|
| B
| ….
| |
|
| С
| ….
| |
| Правило сложной конструктивной дилеммы (С.К.Д.)
| Правило простой деструктивной дилеммы (П.Д.Д.)
| Правило сложной деструктивной дилеммы (С.Д.Д.)
|
|
| Правило
| Доказательство:
| | А→В
|
| А→В
| ….
| | С→D
|
| С→D
| ….
| | А∨C
|
| А∨C
| ….
| | В ∨D
|
| A
| ….
| |
|
| В
| ….
| |
|
| В∨D
| ….
| |
|
| A →(В∨D)
| ….
| |
|
| С
| ….
| |
|
| D
| ….
| |
|
| B∨D
| ….
| |
|
| С →(B∨D)
| ….
| |
|
| B∨D
| ….
|
| | Правило
| Доказательство:
| | А→В
|
| А→В
| ….
| | А→С
|
| А→С
| ….
| | В ∨С
|
| В ∨С
| ….
| | А
|
| В→А
| ….
| |
|
| С→А
| ….
| |
|
| А
| ….
|
| | Правило
| Доказательство:
| | А→В
|
| А→В
| ….
| | С→D
|
| С→D
| ….
| | В ∨D
|
| В∨D
| ….
| | А ∨С
|
| В→А
| ….
| |
|
| D→С
| ….
| |
|
| А∨С
| ….
|
|
|
|
|
|
|
|
2015-01-30
331
