Когда вы учили иностранные языки - вы сталкивались с условными предложениями состоящими из двух частей и часто грамматику их построения было сложно запомнить. Я путалась где какая часть, они могли меняться местами: одну часть называли if-clause в английском, а вторую всегда по-разному, мне не хватало соображалки запомнить и понять где условие и где следствие и совершенно не нравилась логика построения этих предложений во всех языках, что я изучала.

В формальной логике мы сейчас говорим об импликации (не путать с импликатурой) где части обозначают такими понятиями:

Если - антецедент

То - консеквент

В формальной логике с этой операцией есть забавный момент: в таблице вы можете увидеть, что при ложном антецеденте с истинным и с ложным консеквентом мы получаем истину!

Вы когда-нибудь пили брюквенный сок?

"Если пить брюквенный сок, то не уснешь" - сложно назвать это высказывание истинным, правда? Но с точки зрения ф.логики оно будет истинным если вы никогда не пили брюквенный сок.

Вопросы в комменты💋
Примеры - пинкеровские