Em P → Q, P ⊨ Q, o que significa o símbolo ⊨? - Exercício de Lógica

Em P → Q, P ⊨ Q, o que significa o símbolo ⊨?

P → Q, P ⊨ Q

As premissas à esquerda implicam a conclusão à direitaOs dois lados são a mesma fórmulaTudo o que está à esquerda é falsoSepara duas fórmulas sem relação