if-логика

Да, попытки выделить её в специальную логику имеют место быть и в разных вариациях (См. революция в логике …). Заметил, что со временем меняются на эту тему даже интерпретации в википедии … А по сути, это импликация, в которой левая часть - не просто...