Условные умозаключения

умозаключения типа «если... то...»). Утверждения об условных отношениях, существующих между основанием и следствием: если истинно основание, то истинно и следствие.