Это знак логического следования: из посылки (посылок) логически обоснованно следует => вывод, заключение
Посылки => (значит, следовательно, вытекает) следствие, заключение
