Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
12 Янв 20:38
показан
57 раз
обновлен
13 Янв 2:16
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Выводимость бывает только в исчислениях, а их много. Без полного описания правил вывода и аксиом о выводимости говорить рано.
Что такое / в логической формуле, тоже непонятно. Конъюнкцию лучше писать как y&z или yz.