Teórico de Semántica - Lógica Proposicional

Hola.

Coincido con la respuesta de Daniel .

Consideremos la siguiente propiedad:

$\Gamma \models \alpha \Rightarrow (\bar{\forall}\Gamma \subseteq \Delta)( \Delta \models \alpha)$

Esta propiedad se cumple (aunque haya que demostrarla... Alguien se anima?)...

En el caso propuesto, $\emptyset \subseteq \lbrace b \rbrace$

Saludos FDO. PD: El único detalle de la respuesta de Daniel es la notación.... faltan las llaves.