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