Это я поняла совсем недавно. Бабушка вышла замуж по любви. Ну, как вышла. Они с дедом просто стали жить, наплевав на условности и расписались, только когда родилась дочь. Дед в то время учился в Высшем пожарном училище в Харькове. Это было перед самой войной. А бабуля работала после рабфака, который они закончили вместе в Перми, на Вагоноремонтном заводе. И так как дедушка перед свадьбой имел уже негативный опыт семейной жизни, он решил договориться с бабулей заранее и обо всем. Первое и самое основное, о чем они договорились — это не ругаться...
В статье "Логический закон Клавия ч.2. Об импликации" я пытался доказать правильность заполнения таблицы истинности для импликации (утверждения "Если А, то В"), но оказалось, что в некоторых случаях взаимосвязь истинности утверждений А и В с истинностью импликации лишена здравого смысла. Мне наконец удалось разрешить эту проблему. В этой статье я покажу, как доказать правильность заполнения таблицы истинности для импликации, и разберу причину, по которой возникают указанные затруднения. Для краткости, вместо "Если А, то В" буду писать "А влечет В"...