|
Постройте вывод секвенции: $%\Rightarrow (p \rightarrow q) \rightarrow ((\lnot p \rightarrow q) \rightarrow q)$%. задан 6 Окт '20 21:27 
Пташка |
Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
6 Окт '20 21:27
показан
464 раза
обновлен
6 Окт '20 22:44
Связанные исследования
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
@Пташка: вне указания на конкретное исчисление (аксиомы+правила вывода), вопрос звучит некорректно. Также не ясна роль самого первого из значков.