Здравствуйте, можете помочь в решении задачи по мат логике? Нужно с помощью трех аксиом доказать выводимость формулы, аксиомы на первом фото, формулы на втором
аксиомы второе фото
| Гарантия на работу | 1 год |
| Средний балл | 4.53 |
| Стоимость | Назначаете сами |
| Эксперт | Выбираете сами |
| Уникальность работы | от 70% |