Dices que si suponemos S=0(vacío), P=0 (vacío), la fórmula Y1 es cierta. Yo creo que no es así. El antecedentede Y1 es cierto (1) pero su consecuente es falso (0) y por tanto
(1)-> (0) es FALSO.
Al ser falsa Y1, no la puedo emplear para decir que noY4 no sea consecuencia de Y1, Y2.
No se si me explico.
Gracias.