Validez de un razonamiento con leyes de la Lógica proposicional