Hola Manuel,
sí, es válido, tendrías que argumentar antes de hacer el tableau lo siguiente:
supongo que
es equivalente a 
, quiero evaluar si 
y luego eso lo probás o refutás usando tableau.
Saludos!
sí, es válido, tendrías que argumentar antes de hacer el tableau lo siguiente:
supongo que
es equivalente a , quiero evaluar si y luego eso lo probás o refutás usando tableau.Saludos!