Как называется правило вывода (F∧G)→H(F∧¬H)→¬G
Цепное правило | ||
Правило перестановки посылок | ||
Правила расширенной контрапозиции |
Другие предметыКолледжПравила выводаправило выводацепное правилоправило перестановкиконтрапозициялогика колледж
Чтобы ответить на ваш вопрос, давайте сначала разберем представленные правила и то, как они соотносятся с данным выражением.
Теперь давайте проанализируем ваше выражение:
(F∧G)→H и (F∧¬H)→¬G.
Первое выражение говорит, что если одновременно истинны F и G, то H также истинно. Второе выражение утверждает, что если F истинно и H ложно, то G ложно.
Эти два выражения показывают связь между F, G и H, и именно это позволяет использовать правила логики для вывода одного из утверждений из другого. В данном случае, это соответствует правилу расширенной контрапозиции.
Таким образом, правильный ответ на ваш вопрос:
Правила расширенной контрапозиции.