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

• 
• 
•