Что означает символ ⊨ в записи P → Q, P ⊨ Q? - Логическое упражнение

Что означает символ ⊨ в записи P → Q, P ⊨ Q?

P → Q, P ⊨ Q

Посылки слева влекут заключение справаОбе стороны это одна и та же формулаВсё, что слева, ложноОн разделяет две не связанные между собой формулы