академик А. Н. Колмогоров ввел правило вывода для женской логики (по сути правило Modus ponens из мат. логики):Пусть [Р => Q] и [Q приятно]; тогда Р истинно.
А дополненная версия такая: Пусть [Р => Q] и [Q приятно]; тогда Р истинно или [не P => Q].
1 comment
recommend
bookmark
subscribe
А дополненная версия такая: Пусть [Р => Q] и [Q приятно]; тогда Р истинно или [не P => Q].