Констатация «в рассуждениях можно идти от отрицания последующего к отрицанию предшествующего» — это формулировка:

  • закона идемпотентности
  • закона исключения импликации
  • закона исключенного третьего
  • закона пронесения квантора
Для просмотра статистики ответов нужно залогиниться.