Buenas noches, estaba leyendo el documento que subieron sobre la formulación lógica del contrarrecíproco del PL y me surgió la siguiente duda:
Del paso del penúltimo renglón al último entiendo que lo que se aplico fue la propiedad De Morgan: not(a ^ b) = not(a) v not(b).
Mi pregunta surge ya que aparece un not(|v| >=1) el cual no debería aparecer. En caso de que no sea un error de escritura, podrían explicarme cómo surge ese término negado?
Muchas gracias.
