Forzado, falta la condición delante del símbolo de forzado, lo que significa

Question

Lo que significa en el contexto de la teoría del forzamiento este símbolo

$\Vdash \psi$

sin condición $p$ ¿Delante? ¿Cómo le encuentro sentido?

Answer 1

Significa que la condición más débil fuerza la afirmación. (Máxima o mínima, según su convención).

Equivalentemente, cada condición fuerza la declaración.