Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Да, всё правильно, поздравляю. Вывод сложный, потому что "не конструктивный". Мы доказываем формулу с дизъюнкцией , но при этом не можем доказать из посылок ни , ни (что интуитивно хочется сделать)