Тест на логику "Логическое сравнение". 93% не проходят его с первого раза.А ты?
Теорема 1. Множество высказываний 
противоречиво, если в него в качестве логического следствия можно вывести противоречие.
Теорема 2. 
|= B, если в качестве логического следствия из 
и 
можно вывести противоречие.