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