<<
>>

Теоремы о противоречии

Теорема 1. Множество высказываний противоречиво, если в него в качестве логического следствия можно вывести противоречие.

Теорема 2. |= B, если в качестве логического следствия из и

можно вывести противоречие.

<< | >>
Источник: Лекции по математической логике. 2017

Еще по теме Теоремы о противоречии:

  1. 12.Теоремы Ролля и Лагранжа (без доказательства). Геометрическая интерпретация этих теорем.
  2. Теорема о разложении аналитической функции в степенной ряд (теорема Тейлора).
  3. Теоремы о среднем. Теорема Ролля.
  4. Смысл и противоречие
  5. 8.5. Социальные противоречия
  6. 8.3. Типы противоречий
  7. 11.1. Диалектика и логические противоречия
  8. 1.4. Методы разрешения противоречи
  9. Противоречия личностного и профессионального развития
  10. §2. Противоречия и закономерности развития правовой системы
  11. 8.6. Противоречия и гармония
  12. Глава 2 Интонация контраста и противоречия
  13. Глава 3. Трудности, парадоксы И противоречия В управлении
  14. Противоречия монополистического капитализма.
  15. Общие теоремы
  16. 1. Обострение социальных противоречий и народные восстания в I в.
  17. Теоремы свертки и запаздывания.