Tenemos dos fórmulas, llamémoslas A y B, de las cuales sabemos que son equivalentes. Tenemos también una valuación v de la que sabemos que v(A)...
Tenemos dos fórmulas, llamémoslas A y B, de las cuales sabemos que son equivalentes. Tenemos también una valuación v de la que sabemos que v(A) = V. ¿Qué podemos decir de v(¬B)?
Compartilhar