Как называется правило вывода (F∧G)→H(F∧¬H)→¬G Цепное правило - Ответ на вопрос №23218
Вопрос
Как называется правило вывода (F∧G)→H(F∧¬H)→¬G| | Цепное правило | |
| | Правило перестановки посылок | |
| | Правила расширенной контрапозиции |

| | Цепное правило | |
| | Правило перестановки посылок | |
| | Правила расширенной контрапозиции |