Hola
Es correcto tu planteo.
Al demostrar que A |= Q no se cumple queda demostrado que |= Q no se cumple.
Y demostrar que B |= no Q no se cumple queda demostrado que |= no Q no se cumple.
Saludos
Mónica
Es correcto tu planteo.
Al demostrar que A |= Q no se cumple queda demostrado que |= Q no se cumple.
Y demostrar que B |= no Q no se cumple queda demostrado que |= no Q no se cumple.
Saludos
Mónica