Закон контрапозиции
Этот закон выражается тавтологией:
(A=>B) ≡ ( 
=> 
)
если из одного высказывания следует второе высказывание, то из отрицания второго высказывания следует отрицание первого высказывания.
Закон контрапозиции находит широкое применение в косвенных доказательствах “отпротивного”.
Пример: высказывание А=”Сегодня пятница”,
высказывание В=”Завтра суббота”,
высказывание A=>B = “ Если сегодня пятница, то завтра суббота”.
высказывание => = “Если завтра НЕ суббота, то сегодня НЕ пятница”.
Последнее высказывание эквивалентно высказыванию “ Если сегодня пятница, то завтра суббота”.
Дата добавления: 2015-08-08; просмотров: 1678;