Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Последний раз редактировалось FireStar 10.02.2013, 22:14, всего редактировалось 4 раз(а).
Нужно определить, доказуема секвенция. Проще говоря, доказать секвенцию. Не знаю, как работать с 2 переменными и заносить кванторы всеобщности слева. Заранее благодарен.
arseniiv
Re: Доказать секвенцию
10.02.2013, 17:39
Последний раз редактировалось arseniiv 10.02.2013, 17:40, всего редактировалось 1 раз.