Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

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

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

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

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

 

Случайная новость