Нужна помощь в написании работы?
Теорема 1. Множество высказываний 
противоречиво, если в него в качестве логического следствия можно вывести противоречие.
Теорема 2. 
|= B, если в качестве логического следствия из 
и 
можно вывести противоречие.
Покори английский в игровой форме! Основные преимущества:
- Занимайся с любого девайса
- Тренируйся с азартом
- Выбирай интересные материалы
- Проходи увлекательные языковые курсы
- Учись со львом играючи