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

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

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

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