Buenas, no entiendo porque del ssi que marque en naranja no se menciona el caso en el que v(phi)=0 y v(psi)=1,
ya que por definición de ser valuación, para el implica, el caso que menciono arriba v(phi,psi)=(0,1) cumple
v(phi->psi)=1. Misma duda para v(phi,psi)=(0,0).
Saludoss