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