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