Мне в информатике встретились такие символы:
→, ∧.
Подскажите, что они означают?

а знак следования, что значит?

Сле́дствие или консекве́нт (лат. consequens — «следствие», «вывод», «результат») — на языке старых философов, особенно у логиков Кантовской школы, в их учении о суждениях, заключениях и доказательствах консеквент означает в его отношении к сказуемому следствие в отношении к причине.

В условном высказывании «Если А, то В» высказывание «А» есть антецедент; высказывание «В» называется консеквентом[1]. Например, в условном высказывании «Если сейчас ночь, то темно»: антецедент — «сейчас ночь», а консеквент — «темно».

А если короче, то: из того ,что Х<25 следует, что X<23.

спасибо

^ логическое умножение --> знак следования