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