Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Закон контрапозиции



Читайте также:
  1. Amp;. 2 ОБЩИЕ И СПЕЦИФИЧЕСКИЕ ЗАКОНОМЕРНОСТИ РАЗВИТИЯ ЛИЧНОСТИ 'НОРМАЛЬНОГО И УМСТВЕННО ОТСТАЛОГО РЕБЕНКА
  2. D. Законы Шариата.
  3. I . Закон о политических партиях.
  4. I. Закон магической цепи
  5. II закон Фарадея
  6. II. Закон Кватернера
  7. II. Законы космоса или макрокосмические, т.е. безличные законы

 

На основе данного сложного высказывания А®В можно сформулировать обратное ему высказывание B®A. Нетрудно убедиться, что оно не равносильно исходному.

Для всякого сложного высказывания A®B можно сформулировать противоположное . Нетрудно убедиться, что оно не равносильно исходному.

Высказывание типа называется обратно – противоположным.

Нетрудно убедиться, что оно равносильно исходному:

.

Такая равносильность называется законом контрапозиции [25].

Согласно этому закону:

1) высказывания A®B и одновременно истинны либо одновременно ложны;

2) высказывание, которое является обратно противоположной данной теореме A®B также является теоремой (здесь сложное высказывание называется теоремой);

3) вместо данной теоремы можно доказать обратно противоположную ей теорему.

Кроме того, если высказывание A®B – теорема, то A есть достаточное условие B, а B – необходимое условие A.

Если оба высказывания являются теоремами (A®B, B®A; т.е. A«B), то A – необходимое и достаточное условие B, а B – необходимое и достаточное условие A.

Если A®B – теорема, а B®A не теорема, то A – достаточное, но не необходимое условие B, а B – необходимое, но не достаточное условие A.

 


Дата добавления: 2015-07-11; просмотров: 150 | Нарушение авторских прав






mybiblioteka.su - 2015-2024 год. (0.005 сек.)