November 15th, 2019

как формализовать вопросы в мат.логике?

как формализовать вопросы в мат.логике
такто пробелем нет, но как сделать правильно?
с наскоку мне неясно
раньше както не задумывался над этим
да и сейчас вроде не требуется )
но зафиксирую тему для размышления

возникла тема из обсуждений в комментах

Неудобная для формального логика суть ЭДЛ
https://dia-logic.livejournal.com/217643.html

в принципе многие вопросы вроде переделываются в повествовательные или с участием модальных логик, или вроде с функциональными символами

Collapse )