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