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