In P → Q, P ⊨ Q, che cosa significa il simbolo ⊨? - Esercizio di Logica

In P → Q, P ⊨ Q, che cosa significa il simbolo ⊨?

P → Q, P ⊨ Q

Le premesse a sinistra implicano la conclusione a destraI due lati sono la stessa formulaTutto ciò che sta a sinistra è falsoSepara due formule senza legame