В логике есть понятие умозаключение означающее