Каа
, 60 лет9 ноября 2014 23:20
Также, академик А. Н. Колмогоров ввел правило вывода для женской логики (по сути правило Modus ponens из мат. логики):
Пусть [Р => Q] и [Q приятно]; тогда Р истинно.
Также, академик А. Н. Колмогоров ввел правило вывода для женской логики (по сути правило Modus ponens из мат. логики):
Пусть [Р => Q] и [Q приятно]; тогда Р истинно.