Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
ДимКо
4 / 4 / 2
Регистрация: 26.10.2012
Сообщений: 155
1

Вывести секвенции

23.01.2013, 12:55. Просмотров 893. Ответов 0
Метки нет (Все метки)

Вывести секвенцию:

http://www.cyberforum.ru/cgi-bin/latex.cgi?\vdash(A1 & ... & An) http://www.cyberforum.ru/cgi-bin/latex.cgi?\rightarrow B
----------------------
A1, ..., An http://www.cyberforum.ru/cgi-bin/latex.cgi?\rightarrow B

Я так понял, что из нижней формулы выводится верхняя и нужно доделать до конца..)) Пожалуйста, помогите, не могу разобраться..
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
23.01.2013, 12:55
Ответы с готовыми решениями:

Вывести секвенции
Не получается вывести секвенцию, подскажите пожалуйста

Вывести секвенции с предикатами
Здравствуйте, участники форума. Прошу помочь вывести секвенции. A\rightarrow...

Вывести в исчислении высказываний секвенции
Добрый вечер, можете сказать как нужно вывести в исчислении высказываний этот...

Секвенции
Помогите пожалуйста с 2-мя секвенциями 29-ый вариант.

Исчисление высказываний. Секвенции
Привет. Нужна помощь в решении секвенций, но и за совет литературы для...

0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
23.01.2013, 12:55

Решить две секвенции до аксиом
Здравствуйте, можете помочь пожалуйста решить эти 2 секвенции до аксиом....

Ошибка в секвенции
Добрый день, возникала у кого-нибудь проблема с секвенцией след рода Параметры...

Секвенции, представления, индексы
Есть 4 таблицы. Помогите, пожалуйста, написать к ним секвенции, представления,...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
1
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru