Если Саша любит Наташу, то он не сделает ей предложение (по причинам разбиравшимся выше). Саша любит Наташу = TRUE. Hе сделает ей предложение = тоже TRUE! )) TRUE -> TRUE = TRUE. Всё в порядке с бинарной логикой.
И с житейской тоже: Саша предполагает, что если сделает предложение, то, вероятно, будет вынужден заключить брак с Наташей. А брак убивает любовь-морковь, так считает Саша. И есть в его логике какая-то сермяжная правда.
Твоё высказавание "Если Саша любит Наташу, то он не сделает ей предложение"
по закону импликации \(\displaystyle A\rightarrow B=\bar{B}\rightarrow \bar{A}\)
можно преобразовать в высказывание:
"Если Саша не делает предложение Наташе, то он ее любит"
A=False он ее любит
B=False он не делает ей предложение.
False ->False=TRUE тоже правда.
Переведём это на житейский язык.
Из того факта, что Саша не делает предложение Наташе следует, что он ее любит.
Это нелогично.
И в этом примере показывается парадокс бинарной логической функции импликации.
А такая функция существует и имеется её таблица истиности.
Или словестное описание - вполне логическое.
1. Из истинной посылки может следовать истина и только истина.
2. Из ложной посылки может следовать всё, что угодно, как истина, так и ложь.
Поэтому с помощью ложной посылки можно доказать всё, что угодно.
Напоминаю.
В функции импликации \(\displaystyle A\rightarrow B\)
A это посылка
B это следствие.
A для
B является достаточным условием.
B для
A является необходимым условием.
