Korrektheit

$\Phi ⊢\psi \Rightarrow \Phi \models \psi$