Dans P → Q, P ⊨ Q, que signifie le symbole ⊨ ? - Exercice de Logique

Dans P → Q, P ⊨ Q, que signifie le symbole ⊨ ?

P → Q, P ⊨ Q

Les prémisses de gauche impliquent la conclusion de droiteLes deux côtés sont la même formuleTout ce qui est à gauche est fauxIl sépare deux formules sans rapport